Angenommen, Sie haben zwei willkürlich mächtige Teilnehmer, die sich nicht vertrauen. Sie haben Zugriff auf Bit-Commitments (z. B. versiegelte Umschläge mit Daten, die ein Spieler dem anderen übergeben kann, die jedoch erst geöffnet werden können, wenn der erste Spieler dem zweiten einen Schlüssel...
( UPDATE : Hier wird eine besser formulierte Frage gestellt , da die Kommentare für die akzeptierte Antwort unten zeigen, dass diese Frage nicht genau definiert ist.) Der klassische Beweis für die Unmöglichkeit des Halteproblems hängt davon ab, einen Widerspruch aufzuzeigen, wenn versucht wird, den...
Eine Funktion ist einseitig, wenn durch einen polynomiellen Zeitalgorithmus berechnet werden kann, jedoch für jeden randomisierten polynomiellen Zeitalgorithmus , f Af: { 0 , 1 }∗→ { 0 , 1 }∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffEINAA Pr [ f( A ( f( x ) ) ) = f( x ) ] < 1 / p ( n...
Wie können wir bei einer Menge S von nxn Permutationsmatrizen (die nur einen kleinen Bruchteil der n! Möglichen Permutationsmatrizen darstellt) Teilmengen T von S mit minimaler Größe finden, so dass das Addieren der Matrizen von T an jeder Position mindestens 1 hat? Ich interessiere mich für dieses...
Dies ist eine Frage im Geiste dieser, auf die ich geantwortet habe, dass es wichtig ist, zu verfolgen, was Sie getan haben, warum Sie es getan haben und was nicht funktioniert. Ich persönlich benutze Notebooks für diesen Zweck, aber es hat einige Nachteile: Erstens brauche ich viel Speicherfläche,...
Wir bekommen eine Familie vonFF\mathcal{F}mmm Teilmengen von {1, ..., n}. Ist es möglich, eine nicht triviale Untergrenze für die Komplexität der Entscheidung zu finden, ob FF\mathcal{F} eine Sperner-Familie ist? Die triviale Untergrenze ist O(nm)O(nm)O(n m) und ich vermute stark, dass es nicht eng...
Bei gegebenen Punkten in R d und einem Abstand l ergibt sich die größte Teilmenge dieser Punkte, so dass der euklidische Abstand von keinem von beiden größer als l ist .p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll Wie komplex ist dieses Problem? In der graphischen Darstellung über die...
In einer aktuellen Frage wurde der heute klassische dynamische Programmieralgorithmus für TSP erörtert, der unabhängig von Bellman und Held-Karp entwickelt wurde . Es wird allgemein berichtet, dass der Algorithmus in O ( 2nn2)O(2nn2)O(2^n n^2) -Zeit ausgeführt wird. Wie einer meiner Studenten...
Gegeben seien zwei AVL - Bäume T1T1T_1 und T2T2T_2 , und ein Wert trtrt_r so dass ∀x∈T1,∀y∈T2,x<tr<y∀x∈T1,∀y∈T2,x<tr<y\forall x \in T_1, \forall y \in T_2, x < t_r < y , ist es einfach , eine neue AVL - Baum enthält , zu konstruieren , trtrt_r und die Werte in T1T1T_1 und T2T2T_2 in der...
Sei die Kolmogorov-Komplexität einer Zeichenkette x . Haben gibt es eine Zeichenfolge , so dass K ( x x ) < K ( x ) . (Hier ist x x die Verkettung von x mit sich selbst). Eine ähnliche, aber unterschiedliche Frage wurde hier gestellt , aber das in der Antwort auf diese Frage angegebene...
Es gibt eine Standard-Approximationstheorie, bei der das Approximationsverhältnis (für Probleme mit Objektiven) ist, - der von einigen Algorithmen und Wert - ein optimaler Wert. Und eine andere Theorie, die der Differentialapproximation, bei der das Approximationsverhältnis , - der schlechteste...
Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche...
Nachdem ich einige Zeit mit 2-3 Fingerbäumen gearbeitet habe, war ich bei den meisten Operationen von deren Geschwindigkeit beeindruckt. Das einzige Problem, auf das ich gestoßen bin, ist der große Aufwand, der mit der anfänglichen Erstellung eines großen Fingerbaums verbunden ist. Da das Erstellen...
Ich habe mich gefragt, ob es eine gute Bibliographie von Versuchen gibt, die Collatz-Vermutung als formale Grammatik zu untersuchen. (oder andere Versuche in der CS-Community, sich mit dieser Klasse von generativen Phänomenen und ihren "Stopp" -Eigenschaften zu
Gibt es eine Programmiersprachtheorie, die fremde Funktionsschnittstellen (FFI) und Mehrsprachenzuordnungen beschreibt? Ich habe einige Implementierungsprobleme zum Stackoverflow gestellt , die hier nicht geeignet sind. Aber ich möchte aus der Sicht dieser Seite fragen und sehen, was ich...
Eines der erstaunlichen Dinge in der Informatik ist, dass die physikalische Implementierung in gewisser Weise "irrelevant" ist. Die Menschen haben erfolgreich Computer aus mehreren unterschiedlichen Substraten gebaut - Relais, Vakuumröhren, diskrete Transistoren usw. Die Menschen könnten bald...
Ist der Fall von stark regulären Graphen der schwierigste für GI-Tests? wobei "am härtesten" sozusagen "im gesunden Menschenverstand" oder "im Durchschnitt" verwendet wird. Wolfram MathWorld erwähnt einige "pathologisch harte Graphen". Was sind Sie? Mein Beispielsatz mit 25 Paar Grafiken:...
Nehmen Sie einen gerichteten Graphen bei dem die Kanten mit einer natürlichen Zahl verziert sind. Wir wollen die Menge aller Pfade P zwischen zwei Eckpunkten v 1 und v 2 so, dass jede aufeinanderfolgende Kante im Pfad mit einer natürlichen Zahl verziert wird, die größer ist als die natürliche Zahl,...
Wir wollen oft ein Objekt nach bestimmten Inferenzregeln definieren. Diese Regeln bezeichnen eine Erzeugungsfunktion die, wenn sie monoton ist, einen am wenigsten festen Punkt ergibt . Wir nehmen die "induktive Definition" von sein . Darüber hinaus erlaubt uns die Monotonie von , mit dem...
Ist das folgende Manuskript öffentlich verfügbar? Dana Scott, 1969, Eine Theorie von berechenbaren Funktionen höheren Typs . Unveröffentlichte Seminarunterlagen, 7 Seiten, University of Oxford. In Abschnitt 8.1.2, Typen als Mengen , in Cardone & Hindley, 2006 History of Lambda-calculus and...