Theoretische Informatik terminology

2

Was bedeutet "Gadget" bei der NP-harten Reduzierung?

Diese Frage ist möglicherweise nicht technisch. Als Nicht-Muttersprachler und TA für die Algorithmusklasse habe ich mich immer gefragt, was Gadget in "Klausel-Gadget" oder "Variablen-Gadget" bedeutet. Das Wörterbuch besagt, dass ein Gadget eine Maschine oder ein Gerät ist, aber ich bin mir nicht sicher, welche umgangssprachliche Bedeutung es im Zusammenhang mit …

11 cc.complexity-theory np-hardness terminology reductions

2

Graphisomorphismus mit Äquivalenzbeziehung auf der Scheitelpunktmenge

Ein farbiger Graph kann als Tupel wobei ein Graph ist und die Färbung ist. Zwei farbige Graphen und gelten als isomorph, wenn ein Isomorphismus vorliegt, so dass die Färbung eingehalten wird, dh für alle .(G,c)(G,c)(G,c)GGGc:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N}(G,c)(G,c)(G,c)(H,d)(H,d)(H,d)π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H)c(v)=d(π(v))c(v)=d(π(v))c(v) = d(\pi(v))v∈V(G)v∈V(G)v \in V(G) Dieser Begriff erfasst …

9 terminology graph-isomorphism equivalence

1

Komplexität der blinden Art?

Wir alle wissen, dass die minimale Komplexität eines vergleichsbasierten Sortieralgorithmus Vergleiche sind. Ich versuche eine blinde Sortierung durchzuführen, dh wenn eine Zahl einen Schaltkreis (mit booleschen, arithmetischen und "Vergleichs" -Gattern) ausgibt, der eine Liste von Elementen sortiert .Ω ( n logn )Ω(nLog⁡n)\Omega(n \log n)nnnnnn Wenn ich alle -Vergleiche vorberechnete und …

9 cc.complexity-theory terminology sorting

2

Maximieren der Summenkantengewichte

Ich frage mich, ob das folgende Problem einen Namen hat oder irgendwelche damit verbundenen Ergebnisse. Sei G=(V,w)G=(V,w)G = (V,w) ein gewichteter Graph, wobei das Gewicht der Kante zwischen und bezeichnet und für alle , . Das Problem besteht darin, eine Teilmenge von Eckpunkten zu finden, die die Summe der Gewichte …

9 reference-request graph-theory approximation-algorithms terminology approximation-hardness

3

Gibt es Schnittpunkte zwischen Theorie A und Theorie B?

In den folgenden zwei Fragen Ursprünge und Anwendungen von Theorie A gegen Theorie B? und solide Anwendungen der Kategorietheorie in TCS? Viele Menschen teilten ihr Wissen und ihre Meinung über die Aufteilung dieser beiden Bereiche in theoretische CS. Ich bin ein Student der Mathematik mit Erfahrung in Graphentheorie und Kategorietheorie, …

8 terminology ho.history-overview research-practice

2

Logikprogrammierung: Transformation von B: -AC: -A nach B, C: -A

Ich hoffe, ich bin an der richtigen Stelle ... es ist (wahrscheinlich) eine ziemlich einfache Frage zur Logikprogrammierung. Wenn ich zwei Klauseln des Formulars habe: B:-A C:-A Ich kann diese umwandeln in: B,C:-A ( Bearbeiten: Wo B,Cist eine Konjunktion? Ich mache eine Bottom-up-Bewertung und es ist nützlich für mich, mehrere …

8 reference-request pl.programming-languages terminology logic-programming

Als «terminology» getaggte Fragen