Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
Ist dies eine äquivalente Bedingung für algebraische Posets?
Die Definition von "algebraische poset" in Continuous Gitter und Domains , Definition I-4.2, sagt , dass für alle ,x∈Lx∈Lx \in L die Menge sollte eine gerichtete Menge sein, undA(x)=↓x∩K(L)A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .x=⨆(↓x∩K(L)x=⨆(↓x∩K(L)x = \bigsqcup ({\downarrow} x \cap K(L) Hier a poset ist, K ( L ) ist …
1
Algebraisch kompakte Kategorien
Ich habe Freyds Artikel "Algebraically Complete Categories" in der berühmten Como90 gelesen und habe zwei Fragen zu dem Begriff der algebraischen Kompaktheit, den er in diesem Artikel definiert hat. (Wenn Sie mit der Definition nicht vertraut sind, ist es hier: Eine Kategorie heißt algebraisch kompakt, wenn jeder Endofunktor eine initiale …
3
NP-vollständige Grapheneigenschaft, die erblich, aber nicht additiv ist?
Eine Grapheneigenschaft wird als erblich bezeichnet, wenn sie in Bezug auf das Löschen von Eckpunkten geschlossen wird (dh alle induzierten Untergraphen erben die Eigenschaft). Eine Grapheneigenschaft wird als additiv bezeichnet, wenn sie in Bezug auf disjunkte Gewerkschaften geschlossen ist. Es ist nicht schwer, Eigenschaften zu finden, die erblich, aber nicht …
2
Wie komplex ist dieses Pfadproblem?
Instanz: Ein ungerichteter Graph GGG mit zwei getrennten Eckpunkten s≠ts≠ts\neq t und einer ganzen Zahl k≥2k≥2k\geq 2 . Frage: Gibt es in G einen -s−ts−ts-t Pfad , so dass der Pfad höchstens k Eckpunkte berührt ? (Ein Scheitelpunkt wird vom Pfad berührt, wenn sich der Scheitelpunkt entweder auf dem Pfad …
3
Auswahl in Vereinigung von sortierten Arrays: Bereits bekannt?
Ich suche bibliografische Referenzen für den folgenden Algorithmus / das folgende Problem: Ich habe es "BiSelect" oder "t-ary Select" oder "Select in Union of Sorted Arrays" genannt, aber ich denke, es wurde zuvor unter einem anderen Namen eingeführt? Problem Betrachten Sie das folgende Problem: Gegeben kkk disjunkt sortierten Arrays A1,…,AkA1,…,AkA_1,\ldots, …
1
Gibt es "NP-Intermediate-Complete" -Probleme?
Angenommen, P NP.≠≠\ne Ladners Theorem besagt, dass es NP-Zwischenprobleme gibt (Probleme in NP, die weder in P noch in NP-Complete vorliegen). Ich habe einige verschleierte Online-Referenzen gefunden, die darauf hindeuten (ich denke), dass es in NPI viele "Ebenen" gegenseitig reduzierbarer Sprachen gibt, die definitiv nicht alle in einer zusammenfallen. Ich …
4
Fangen Sie an, Komplexität zu lernen
Ich habe kürzlich angefangen, viel über die Komplexität von Beweisen zu lesen und habe das, was ich gelesen habe, wirklich genossen. Ich würde wirklich gerne mehr darüber erfahren, aber es fällt mir zunächst schwer, ein gutes Anfängermaterial zu finden. Würde jemand in der Lage sein, einige Grundlagen zu empfehlen?
1
Ist der Zusammenbruch von
Zwischen jeder Ebene der Polynomhierarchie sind verschiedene Komplexitätsklassen enthalten, einschließlich ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k und & ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . In Ermangelung einer besseren Terminologie werde ich diese und alle anderen Klassen als Zwischenklassen zwischen den Stufen iii und i+1i+1i+1 in der Polynomhierarchie bezeichnen. Für die Zwecke dieser Frage …
3
Untergraph mit allen Knoten und Kanten, die Teil längenbegrenzter einfacher st-Pfade in einem ungerichteten Graphen sind
Ganz ähnlich zu meiner zuvor geposteten Frage . Diesmal ist das Diagramm jedoch ungerichtet. Gegeben Ein ungerichteter Graph GGG ohne Mehrkanten oder Schleifen, Ein Quellscheitel ,sss Ein Zielscheitelpunkt ,ttt Maximale Weglänge lll , Ich suche nach G′G′G' - Ein Teilgraph von GGG , der einen beliebigen Scheitelpunkt und eine beliebige …
1
Ganzzahlige Prioritätswarteschlange mit verteilungsabhängigem deleteMin
Befindet sich eine Warteschlange mit ganzzahliger Priorität, die Leerzeichen mit den folgenden Operationen verwendet, und zwar im ungünstigsten Fall und ohne Zugriff auf die Zufälligkeit:O ( n )Ö(n)O(n) createEmptyQueuein für eine Konstante c .O ( l gcU)Ö(lGcU)O(lg^c U)ccc insertin .O ( 1 )Ö(1)O(1) deleteMinO ( δMindest)Ö(δMindest)O(\delta_{\min})δMindestδMindest\delta_{\min} Außerdem sind alle weiteren …
5
Motivation zur Volumenschätzung
Welche konkreten und überzeugenden Anwendungen zur Abschätzung des Volumens von konvexen Polyedern wurden in den neueren Arbeiten zu Random-Walk-Methoden untersucht? Diese Arbeiten zur Volumenschätzung erwähnen die numerische Integration als eine Motivation. Was sind Beispiele für Integrale, die Menschen in der Praxis berechnen möchten und die mit früheren Methoden nur sehr …
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.