Computerwissenschaften

Fragen und Antworten für Studenten, Forscher und Informatiker

1
Gibt es bekannte Probleme mit AM-complete / ist AM-complete gut definiert?
Ich bin gespannt, ob es in der Arthur-Merlin-Komplexitätsklasse vollständige Probleme gibt. Der Graph Non-Isomorphism (GNI) scheint das kanonische Beispiel für ein Problem in AM zu sein, aber es ist wahrscheinlich kein vollständiges. Ich frage mich wahrscheinlich auch, ob ein "vollständiges" Problem für AM gut definiert ist. Da AM = BP.NP, …
1
Füllen von Behältern mit Paaren Kugeln
Ein Behälter heißt voll, wenn er mindestens kkk Bälle enthält. Unser Ziel ist es, so viele Behälter wie möglich zu füllen. Im einfachsten Fall erhalten wir nnn Bälle und können diese beliebig anordnen. In diesem Fall ist es offensichtlich das Beste, dass wir ⌊n/k⌋⌊n/k⌋\lfloor n/k \rfloor Behälter auswählen und kkk …
2
Gute Snapshottable-Datenstruktur für einen speicherinternen Index
Ich entwerfe eine speicherinterne Objektdatenbank für einen bestimmten Anwendungsfall. Es ist ein einzelner Writer, muss jedoch effiziente gleichzeitige Lesevorgänge unterstützen. Lesevorgänge müssen isoliert werden. Es gibt keine Abfragesprache, die Datenbank unterstützt nur: Objekt / -s nach Attribut / Gruppe von Attributen abrufen (möglicherweise werden Ausdrücke unterstützt, z. B. x.count < …
2
Ist verallgemeinertes XOR-SAT effizient lösbar?
Ich habe gesehen, wie XOR-3-SAT effizient lösbar ist (siehe zum Beispiel den Abschnitt "XOR-Erfüllbarkeit" im Wikipedia-Eintrag für das Boolesche Erfüllbarkeitsproblem ). Ich frage mich eine grundlegende Frage: Ist XOR-k-SAT für Formeln mit unterschiedlich vielen Literalen pro Klausel effizient lösbar? Ich möchte wirklich wissen, ob wir die Anzahl der Literale pro …
4
Was sind die Vorteile von Kuckuckshashing gegenüber dynamischem, perfektem Hashing?
Dynamische perfekte Hash-Tabellen und Kuckuck-Hash-Tabellen sind zwei unterschiedliche Datenstrukturen, die O (1) -Suchvorgänge im ungünstigsten Fall und erwartete O (1) -Zeit-Einfügungen und -Löschungen unterstützen. Beide benötigen O (n) Hilfsraum und Zugang zu Familien von Hash-Funktionen für ihre Operationen. Ich denke, dass diese beiden Datenstrukturen für sich genommen schön und brillant …
2
Gruppenisomorphismus zu Graphismorphismus
Beim Lesen einiger Blogs über die Komplexität von Berechnungen (zum Beispiel hier ) habe ich die Vorstellung übernommen, dass es einfacher ist, zu entscheiden, ob zwei Gruppen isomorph sind, als zwei Diagramme auf Isomorphismus zu testen. Auf der angegebenen Seite heißt es beispielsweise, dass der Graphisomorphismus ein allgemeineres Problem ist …
1
Warum recherchieren wir nicht mehr nach Kompilierzeitgarantien?
Ich mag alles, was Kompilierungszeit ist, und ich mag die Idee, dass, sobald Sie ein Programm kompilieren, eine Menge Garantien für dessen Ausführung gegeben werden. Im Allgemeinen scheint ein statisches Typsystem (Haskell, C ++, ...) stärkere Kompilierungszeitgarantien zu bieten als jedes dynamische Typsystem. Soweit ich weiß, geht Ada in Bezug …
3
Wie verwendet eine NFA Epsilon-Übergänge?
Im Bild unten versuche ich herauszufinden, was genau diese NFA akzeptiert. Was mich verwirrt, ist der Sprung bei .ϵϵ\epsilonq0q0q_0 Wenn eine eingegeben wird, wechselt das System dann zu und (dem Akzeptanzstatus)?000q0q0q_0 q1q1q_1 Wenn eine eingegeben wird, wechselt das System zu und ?111q1q1q_1q2q2q_2 Geht das System nur dann nach (Accept State), …
2
Warum ist das k-gebundene Spanning Tree-Problem NP-vollständig?
Das gebundene Spanning Tree-Problem besteht darin, dass Sie einen ungerichteten Graphen haben und entscheiden müssen, ob er einen Spanning Tree hat oder nicht, sodass jeder Scheitelpunkt einen Grad von höchstens .kkkG ( V, E)G(V,E)G(V,E)kkk Mir ist klar, dass dies für den Fall das Hamiltonsche Pfadproblem ist. Ich habe jedoch Probleme …
1
Forschung in der Graphentheorie versus Graphalgorithmen
Ich habe eine sehr allgemeine Frage zu stellen. Es hängt mit der Forschung zusammen. Ich interessiere mich für Graphentheorie. Ich habe einen Kurs darin gemacht. Ich habe einige Themen im Zusammenhang mit der Graphentheorie aus der Sicht eines Mathematikstudenten behandelt und auch einige Graphalgorithmen studiert. Ich mache ein Forschungspraktikum in …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.