POLYNOMIAL-TIME REDUCTION - Traducción inglés-alemán

en el diccionario PONS

Entrada de OpenDict

polynomial-time reduction SUST.

polynomial-time reduction INFORM.

Polynomialzeitreduktion f

en el diccionario PONS

poly·no·mial [ˌpɒliˈnəʊmɪəl] SUST. MAT.

polynomial

Polynom nt <-s, -e>

I. time [taɪm] SUST.

1. time no pl (considered as a whole):

time

Zeit f <-, -en>

time stood still

die Zeit stand still

time marches [or moves] on

die Zeit bleibt nicht stehen

the best player of all time

der bester Spieler aller Zeiten

in the course of time

mit der Zeit

over the course of time

im Lauf[e] der Zeit

to be a matter [or question] of time

eine Frage der Zeit sein

time is on sb's side

die Zeit arbeitet für jdn

as time goes by [or on]

im Lauf[e] der Zeit

to kill time

die Zeit totschlagen

to make time for sth

sich dat. die Zeit für etw acus. nehmen

time-tested

[alt]bewährt

for all time

für immer [o. alle Zeit]

in time

mit der Zeit

over [or with]time

im Lauf[e] der Zeit

2. time no pl (period, duration):

time

Zeit f <-, -en>

time's up coloq.

die Zeit ist um

we spent part of the time in Florence, and part of the time in Rome

wir verbrachten unsere Zeit teils in Florenz und teils in Rom

you'll forget her, given time

mit der Zeit wirst du sie vergessen

it will take some time

es wird eine Weile dauern

sorry, folks, we're [all] out of time now ingl. am., ingl. austr. coloq.

tut mir leid Leute, aber wir sind schon über der Zeit

I haven't seen one of those in a long time

so etwas habe ich schon lange nicht mehr gesehen

half the time, he misses class

er fehlt die halbe Zeit

the time is ripe

die Zeit ist reif

we talked about old times

wir sprachen über alte Zeiten

breakfast/holiday time

Frühstücks-/Urlaubszeit f

extra time DEP.

Verlängerung f <-, -en>

they played extra time

sie mussten in die Verlängerung

three minutes into extra time, Ricardo scored the decisive goal

nach drei Minuten Verlängerung erzielte Ricardo das entscheidende Tor

free [or spare]time

Freizeit f <-> kein pl

future time

Zukunft f <->

injury time ingl. brit. DEP.

Nachspielzeit f <-, -en>

to have time on one's hands

viel Zeit zur Verfügung haben

at this moment in time

zum gegenwärtigen Zeitpunkt

period of time

Zeitraum m <-(e)s, -räume>

for a prolonged period of time

über einen längeren Zeitraum

running time CINE

Spielzeit f <-, -en>

past time

Vergangenheit f <-, -en>

present time

Gegenwart f <->

in one week's time

in einer Woche

in one's own time

in seiner Freizeit

a short time later

kurz darauf

some/a long time ago

vor einiger/langer Zeit

most of the time

meistens

to do sth for a time

etw eine Zeit lang tun

to find [the] time to do sth

Zeit finden, etw zu tun

to gain/lose time

Zeit gewinnen/verlieren

there's no time to lose [or to be lost]

wir dürfen [jetzt] keine Zeit verlieren

there's no time to lose [or to be lost]

es ist höchste Zeit

to give sb a hard time coloq.

jdm zusetzen

to have the time of one's life

sich acus. großartig amüsieren

to have all the time in the world

alle Zeit der Welt haben

to have an easy/hard time with sth

keine Probleme/Probleme mit etw dat. haben

to make time for sb/sth

sich dat. Zeit für jdn/etw nehmen

to pass the time

sich dat. die Zeit vertreiben

to be pressed for time

in Zeitnot sein

to run out of time

nicht genügend Zeit haben

to save time

Zeit sparen

to spend [a lot of] time [in] doing sth

[viel] Zeit damit verbringen, etw zu tun

to take [a long/short] time

[lange/nicht lange] dauern

to take one's time

sich dat. Zeit lassen

to take the time and trouble to do sth

sich dat. die Mühe machen, etw zu tun

to waste time

Zeit vergeuden [o. verschwenden]

to waste sb's time

jds Zeit vergeuden

after a time

nach einer gewissen Zeit

all the [or this]time

die ganze Zeit

all the [or this]time (always)

immer

for a time

eine Zeit lang

for a long/short time

[für] lange/kurze Zeit

for the time being

vorläufig

leave the ironing for the time being - I'll do it later

lass das Bügeln einst mal - ich mach's später

in no [or next to no][or less than no]time [at all]

im Nu

3. time (pertaining to clocks):

have you got the time?

können Sie mir sagen, wie spät es ist?

what's the time? [or what time is it?]

wie spät ist es?

excuse me, have you got the time [on you]?

Entschuldigung, haben Sie eine Uhr?

can you already tell the time?

na, kannst du denn schon die Uhr lesen?

oh dear, is that the right time?

oh je, ist es denn wirklich schon so spät/noch so früh?

the time is 8.30

es ist 8.30 Uhr

to keep bad/good time watch, clock

falsch/richtig gehen

to gain/lose time watch, clock

vor-/nachgehen

4. time (specific time or hour):

time

Zeit f <-, -en>

the time is drawing near when we'll have to make a decision

der Zeitpunkt, zu dem wir uns entscheiden müssen, rückt immer näher

he recalled the time when they had met

er erinnerte sich daran, wie sie sich kennengelernt hatten

do you remember the time Alistair fell into the river?

erinnerst du dich noch daran, wie Alistair in den Fluss fiel?

we always have dinner at the same time

wir essen immer um dieselbe Zeit zu Abend

I was exhausted by the time I got home

ich war erschöpft, als ich zu Hause ankam

I'll call you ahead of time esp ingl. am.

ich rufe dich noch davor an

at this time of day/year

zu dieser Tages-/Jahreszeit

for this time of day/year

für diese Tages-/Jahreszeit

what are you doing here at this time of the day [or night]?

was machst du um diese Uhrzeit hier?

this time tomorrow/next month

morgen/nächsten Monat um diese Zeit

5. time (occasion):

time

Mal nt <-(e)s, -e>

the last time we went to Paris, ...

das letzte Mal, als wir nach Paris fuhren, ...

I'll know better next time

das nächste Mal bin ich schlauer

there are times when I ...

es gibt Augenblicke, in denen ich ...

sometimes I enjoy doing it, but at other times I hate it

manchmal mache ich es gerne, dann wiederum gibt es Momente, in denen ich es hasse

every [or each]time

jedes Mal

every time I ...

jedes Mal [o. immer] , wenn ich ...

for the first time

zum ersten Mal

some other time

ein andermal

one/two at a time

jeweils eine(r, s)/zwei

one/two at a time persons

jeweils einzeln/zu zweit

at times

manchmal

at all times

immer

at all times

jederzeit

at any [given] [or [any] one]time

immer

at any [given] [or [any] one]time

jederzeit

at the time

damals

at the best of times

im besten [o. günstigen] Fall[e]

he can't read a map at the best of times

er kann nicht mal unter normalen Umständen eine Karte lesen

at the present [or ingl. am. this]time

im Moment

from time to time

gelegentlich

from time to time

ab und zu

6. time (frequency):

time

Mal nt <-(e)s, -e>

the times I've told you ... [or how many times have I told you ...]

wie oft habe ich dir schon gesagt ...

these shares are selling at 10 time earnings

diese Aktien werden mit einem Kurs-Gewinn-Verhältnis von 10 verkauft

time and [time] again

immer [und immer] wieder

three/four times a week/in a row

drei/vier Mal in der Woche/hintereinander

three times champion ingl. brit., ingl. austr. [or ingl. am. three time champion]

dreimaliger Meister/dreimalige Meisterin

three times as much

dreimal so viel

for the hundredth/thousandth/umpteenth time

zum hundertsten/tausendsten/x-ten Mal

lots of [or many]times

oft <öfter, am öftesten>

lots of [or many]times

viele Male

7. time no pl (correct moment):

it's time for bed

es ist Zeit, ins Bett zu gehen

the time has come to ...

es ist an der Zeit, ...

it's time [that] I was leaving

es wird Zeit, dass ich gehe

[and] about time [too] ingl. brit., ingl. austr. (yet to be accomplished)

wird aber auch [langsam] Zeit!

[and] about time [too] (already accomplished)

wurde aber auch [langsam] Zeit!

it's high time that she was leaving

höchste Zeit, dass sie geht!

it's high time that she was leaving (already gone)

das war aber auch höchste Zeit, dass sie endlich geht!

we finished two weeks ahead of time

wir sind zwei Wochen früher fertig geworden

we arrived in good time for the start of the match

wir sind rechtzeitig zum Spielbeginn angekommen

to do sth dead [or exactly][or right] on time coloq.

etw pünktlich machen coloq.

the bus arrived dead on time

der Bus kam auf die Minute genau

in time

rechtzeitig

on time

pünktlich

on time (as scheduled)

termingerecht

8. time often pl (era, lifetime):

time

Zeit f <-, -en>

times are difficult [or hard]

die Zeiten sind hart

at the time of the Russian Revolution

zur Zeit der Russischen Revolution

in Victorian times

im Viktorianischen Zeitalter

she is one of the best writers of modern times

sie ist eine der besten Schriftstellerinnen dieser Tage [o. unserer Zeit]

at one time, George Eliot lived here

George Eliot lebte einmal hier

this was before my time

das war vor meiner Zeit

she has grown old before her time

sie ist vorzeitig gealtert

my grandmother has seen a few things in her time

meine Großmutter hat in ihrem Leben einiges gesehen

time was when you could ...

es gab Zeiten, da konnte man ...

if one had one's time over again

wenn man noch einmal von vorne anfangen könnte

at his time of life

in seinem Alter

the best .... of all time

der/die beste ... aller Zeiten

to keep up [or ingl. am. change] with the times

mit der Zeit gehen

to be ahead of [or esp ingl. brit. before] one's time

seiner Zeit voraus sein

to be behind the times

seiner Zeit hinterherhinken

from [or since]time immemorial [or esp ingl. brit. out of mind]

seit undenklichen Zeiten

in [or during] former/medieval times

früher/im Mittelalter

in times gone by

früher

in my time

zu meiner Zeit

in our grandparents' time

zu Zeiten unserer Großeltern

in times past

in der Vergangenheit

in times past

früher

9. time TRANSP. (schedule):

arrival/departure time

Ankunfts-/Abfahrtszeit f

10. time (hour registration method):

daylight saving time

Sommerzeit f <-> kein pl

Greenwich Mean Time

Greenwicher Zeit f

11. time DEP.:

time

Zeit f <-, -en>

record time

Rekordzeit f <-, -en>

he won the 100 metres in record time

er gewann das 100-Meter-Rennen in einer neuen Rekordzeit

12. time (multiplied):

two times five is ten

zwei mal fünf ist zehn

ten times bigger than ...

zehnmal so groß wie ...

13. time no pl MÚS.:

time

Takt m <-(e)s, -e>

to be/play out of time

aus dem Takt sein

to beat time

den Rhythmus schlagen

to get out of time

aus dem Takt kommen

to keep time

den Takt halten

in three-four time

im Dreivierteltakt

14. time (remunerated work):

part time

Teilzeit f

short time ingl. brit.

Kurzarbeit f <-> kein pl

to have time off

frei haben

to take time off

sich dat. freinehmen

time off

arbeitsfreie Zeit

to be paid double time

den doppelten Stundensatz [o. 100% Zuschlag] bezahlt bekommen

to work [or be on] short time ingl. brit.

kurzarbeiten

15. time ingl. brit. (end of pub hours):

“time [please]!”

„Feierabend!“ (wenn ein Pub abends schließt)

16. time ([not] like):

to not give sb the time of day

jdn ignorieren

to not have much time for sb

jdn nicht mögen

to have a lot of time for sb

großen Respekt vor jdm haben

locuciones, giros idiomáticos:

times are changing

die Zeiten ändern sich

to do [or serve]time coloq.

sitzen <sitzt, saß, gesessen> coloq. fig.

time is of the essence

die Zeit drängt

time flies [when you're having fun] saying

wie die Zeit vergeht!

all good things in all good time

alles zu seiner Zeit

time is a great healer, time heals all wounds provb.

die Zeit heilt alle Wunden provb.

time hangs heavy

die Zeit steht still

time is money provb.

Zeit ist Geld provb.

to know the time of the day

sich acus. auskennen

time moves on [or passes]

die Zeit rast

there's a time and a place [for everything] provb.

alles zu seiner Zeit

there's no time like the present saying

was du heute kannst besorgen, das verschiebe nicht auf morgen provb.

[only] time can [or will] tell saying

erst die Zukunft wird es zeigen

time and tide wait for no man [or no one] provb.

man muss die Gelegenheit beim Schopf[e] packen

a week is a long time in politics saying

eine Woche ist lang in der Politik

II. time [taɪm] V. trans.

1. time (measure duration):

to time sb over 100 metres

jds Zeit beim 100-Meter-Lauf nehmen

the winning team was timed at 5 minutes 26 seconds

die Siegermannschaft wurde mit 5 Minuten und 26 Sekunden gestoppt

to time an egg

darauf achten, dass man fürs Eierkochen die richtige Zeit einhält

2. time (choose best moment for):

to time sth

für etw acus. den richtigen Zeitpunkt wählen

to be ill/well timed

zum genau falschen/richtigen Zeitpunkt kommen

3. time (arrange when sth should happen):

to time sth to ...

etw so planen, dass ...

we timed our trip to coincide with her wedding

wir legten unsere Reise so, dass sie mit ihrer Hochzeit zusammenfiel

to time a bomb to explode at ...

eine Bombe so einstellen, dass sie um ... explodiert

time SUST.

allowed time ECON.

Erholungsspanne f (bezahlte Arbeitszeit, während der der Arbeitnehmer essen, aufräumen und sich ausruhen darf)

re·duc·tion [rɪˈdʌkʃən] SUST.

1. reduction no pl (action):

reduction

Reduzierung f <-, -en>

reduction

Reduktion f <-, -en>

reduction

Verringerung f <->

reduction in taxes

Senkung f <-, -en>

reduction of staff

Abbau m <-s>

reduction in price

Ermäßigung f <-, -en>

reduction in price

Herabsetzung f <-, -en>

cost/price reduction

Kosten-/Preissenkung f

2. reduction (decrease):

reduction

Reduzierung f <-, -en>

reduction

Verminderung f <-, -en>

reduction in rank

Degradierung f <-, -en>

reduction in taxes

Steuersenkung f <-> kein pl

reduction in taxes in production, output

Drosselung f <-, -en>

reduction in taxes authorities

Schwächung f <-, -en>

reduction in taxes in price

Ermäßigung f <-, -en>

reduction in taxes in price

Reduzierung f <-, -en>

reduction in taxes in price

Nachlass m <-es, -e [o. -lässe]>

reduction in taxes in salary

Reduzierung f <-, -en>

reduction in taxes in salary

Senkung f <-, -en>

reduction in personnel

Personalabbau m <-(e)s> kein pl

a reduction in traffic

ein verringertes Verkehrsaufkommen

reduction in wages

Lohnkürzung f <-, -en>

3. reduction of drawing, photo:

reduction

Verkleinerung f <-, -en>

4. reduction (simplification):

reduction

Vereinfachung f <-, -en>

Entrada de OpenDict

time SUST.

long time no hear coloq.

lange nichts gehört! coloq.

long time no see coloq.

lange nicht gesehen! coloq.

Entrada de OpenDict

time SUST.

over the course of time

mit der Zeit

Entrada de OpenDict

time SUST.

time will tell whether ...

es wird sich zeigen, ob ...

Entrada de OpenDict

polynomial SUST.

monic polynomial MAT.

normiertes Polynom nt

Diccionario especializado de banca, finanzas y seguros PONS

time SUST.

time allowed for payment handel (Zeitraum, nach dessen Ablauf die Zahlung fällig wird)

Zahlungsziel nt

reduction SUST. INV. FIN.

reduction (Herabsetzung des Aktiennennbetrags)

Herabstempelung f

reduction SUST. MERC. FIN.

reduction

Absenkung f

reduction SUST. INV. FIN.

reduction (Engagement: Reduzierung)

Rückführung f

reduction SUST. handel

reduction (Ermäßigung)

Nachlass m

reduction SUST. CONTAB.

reduction (Negativposten aus Auflösung oder Inanspruchnahme eines Vertrags)

Abgang m

Present

I	time
you	time
he/she/it	times
we	time
you	time
they	time

Past

I	timed
you	timed
he/she/it	timed
we	timed
you	timed
they	timed

Present Perfect

I	have	timed
you	have	timed
he/she/it	has	timed
we	have	timed
you	have	timed
they	have	timed

Past Perfect

I	had	timed
you	had	timed
he/she/it	had	timed
we	had	timed
you	had	timed
they	had	timed

Ejemplos monolingües (no verificados por la redacción de PONS)

The most commonly used reduction is a polynomial-time reduction.

en.wikipedia.org

There are several different types of polynomial-time reduction, depending on the details of how the subroutine is used.

en.wikipedia.org

Such a machine has polynomially-many configurations, so log-space reductions are also polynomial-time reductions.

en.wikipedia.org