POLYNOMIAL-TIME REDUCTION - Αγγλικά-Γερμανικά μετάφραση

στο λεξικό PONS

Καταχώριση OpenDict

polynomial-time reduction ΟΥΣ

polynomial-time reduction Η/Υ

Polynomialzeitreduktion θηλ

στο λεξικό PONS

poly·no·mial [ˌpɒliˈnəʊmɪəl] ΟΥΣ ΜΑΘ

polynomial

Polynom ουδ <-s, -e>

time ΟΥΣ

allowed time ΟΙΚΟΝ

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

I. time [taɪm] ΟΥΣ

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

time

Zeit θηλ <-, -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 δοτ die Zeit für etw αιτ 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 θηλ <-, -en>

time's up οικ

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 αμερικ, αυστραλ οικ

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 θηλ

extra time ΑΘΛ

Verlängerung θηλ <-, -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 θηλ <-> kein pl

future time

Zukunft θηλ <->

injury time βρετ ΑΘΛ

Nachspielzeit θηλ <-, -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 αρσ <-(e)s, -räume>

for a prolonged period of time

über einen längeren Zeitraum

running time ΚΙΝΗΜ

Spielzeit θηλ <-, -en>

past time

Vergangenheit θηλ <-, -en>

present time

Gegenwart θηλ <->

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 οικ

jdm zusetzen

to have the time of one's life

sich αιτ 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 δοτ haben

to make time for sb/sth

sich δοτ Zeit für jdn/etw nehmen

to pass the time

sich δοτ 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 δοτ Zeit lassen

to take the time and trouble to do sth

sich δοτ 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 θηλ <-, -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 αμερικ

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 ουδ <-(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 αμερικ this]time

im Moment

from time to time

gelegentlich

from time to time

ab und zu

6. time (frequency):

time

Mal ουδ <-(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 βρετ, αυστραλ [or αμερικ 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] βρετ, αυστραλ (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 οικ

etw pünktlich machen οικ

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 θηλ <-, -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 αμερικ change] with the times

mit der Zeit gehen

to be ahead of [or esp βρετ before] one's time

seiner Zeit voraus sein

to be behind the times

seiner Zeit hinterherhinken

from [or since]time immemorial [or esp βρετ 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 ΜΕΤΑΦΟΡΈς (schedule):

arrival/departure time

Ankunfts-/Abfahrtszeit θηλ

10. time (hour registration method):

daylight saving time

Sommerzeit θηλ <-> kein pl

Greenwich Mean Time

Greenwicher Zeit θηλ

11. time ΑΘΛ:

time

Zeit θηλ <-, -en>

record time

Rekordzeit θηλ <-, -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 ΜΟΥΣ:

time

Takt αρσ <-(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 θηλ

short time βρετ

Kurzarbeit θηλ <-> kein pl

to have time off

frei haben

to take time off

sich δοτ 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 βρετ

kurzarbeiten

15. time βρετ (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

ιδιωτισμοί:

times are changing

die Zeiten ändern sich

to do [or serve]time οικ

sitzen <sitzt, saß, gesessen> οικ μτφ

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 παροιμ

die Zeit heilt alle Wunden παροιμ

time hangs heavy

die Zeit steht still

time is money παροιμ

Zeit ist Geld παροιμ

to know the time of the day

sich αιτ auskennen

time moves on [or passes]

die Zeit rast

there's a time and a place [for everything] παροιμ

alles zu seiner Zeit

there's no time like the present saying

was du heute kannst besorgen, das verschiebe nicht auf morgen παροιμ

[only] time can [or will] tell saying

erst die Zukunft wird es zeigen

time and tide wait for no man [or no one] παροιμ

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] ΡΉΜΑ μεταβ

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 αιτ 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

re·duc·tion [rɪˈdʌkʃən] ΟΥΣ

1. reduction no pl (action):

reduction

Reduzierung θηλ <-, -en>

reduction

Reduktion θηλ <-, -en>

reduction

Verringerung θηλ <->

reduction in taxes

Senkung θηλ <-, -en>

reduction of staff

Abbau αρσ <-s>

reduction in price

Ermäßigung θηλ <-, -en>

reduction in price

Herabsetzung θηλ <-, -en>

cost/price reduction

Kosten-/Preissenkung θηλ

2. reduction (decrease):

reduction

Reduzierung θηλ <-, -en>

reduction

Verminderung θηλ <-, -en>

reduction in rank

Degradierung θηλ <-, -en>

reduction in taxes

Steuersenkung θηλ <-> kein pl

reduction in taxes in production, output

Drosselung θηλ <-, -en>

reduction in taxes authorities

Schwächung θηλ <-, -en>

reduction in taxes in price

Ermäßigung θηλ <-, -en>

reduction in taxes in price

Reduzierung θηλ <-, -en>

reduction in taxes in price

Nachlass αρσ <-es, -e [o. -lässe]>

reduction in taxes in salary

Reduzierung θηλ <-, -en>

reduction in taxes in salary

Senkung θηλ <-, -en>

reduction in personnel

Personalabbau αρσ <-(e)s> kein pl

a reduction in traffic

ein verringertes Verkehrsaufkommen

reduction in wages

Lohnkürzung θηλ <-, -en>

3. reduction of drawing, photo:

reduction

Verkleinerung θηλ <-, -en>

4. reduction (simplification):

reduction

Vereinfachung θηλ <-, -en>

Καταχώριση OpenDict

time ΟΥΣ

long time no hear οικ

lange nichts gehört! οικ

long time no see οικ

lange nicht gesehen! οικ

Καταχώριση OpenDict

time ΟΥΣ

over the course of time

mit der Zeit

Καταχώριση OpenDict

polynomial ΟΥΣ

monic polynomial ΜΑΘ

normiertes Polynom ουδ

Καταχώριση OpenDict

time ΟΥΣ

time will tell whether ...

es wird sich zeigen, ob ...

Τραπεζική, χρηματική και ασφαλιστική ορολογία PONS

time ΟΥΣ

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

Zahlungsziel ουδ

reduction ΟΥΣ handel

reduction (Ermäßigung)

Nachlass αρσ

reduction ΟΥΣ ΕΠΈΝΔ-ΧΡΗΜ

reduction (Herabsetzung des Aktiennennbetrags)

Herabstempelung θηλ

reduction ΟΥΣ ΧΡΗΜΑΤΑΓ

reduction

Absenkung θηλ

reduction ΟΥΣ ΛΟΓΙΣΤ

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

Abgang αρσ

reduction ΟΥΣ ΕΠΈΝΔ-ΧΡΗΜ

reduction (Engagement: Reduzierung)

Rückführung θηλ

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

Μονόγλωσσα παραδείγματα (μη ελεγμένα από τη συντακτική ομάδα της 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