Theoretische Informatik

Ich suche nach Problemen, die in der FPT-Zeit schwer zu lösen sind, aber einen Approximationsalgorithmus haben. Das heißt, Probleme, die sind: R1. W [1] -hart. R2. Lassen Sie einen (vorzugsweise konstanten) Approximationsalgorithmus in der FPT-Zeit zu. Das mir bekannte Problem besteht darin, die Anzahl der einfachen Pfade der Länge in …

9 ds.algorithms  approximation-algorithms  parameterized-complexity  fixed-parameter-tractable 

Der folgende Begriff eines Destillationsalgorithmus stammt aus "Über Probleme ohne Polynomkerne". Es sei eine Sprache gegeben. Ein Destillationsalgorithmus für nimmt eine gegebene Liste von Eingabezeichenfolgen und berechnet eine Ausgabezeichenfolge :LLL{ x i } i ∈ [ t ] yLLL{xi}i∈[t]{xi}i∈[t]\{ x_i \}_{i \in [t]}yyy (1) genau dann, wenn es so dassi …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Ich möchte Forscher um Hilfe bitten, die in einem Bereich von Suchbäumen forschen. Könnten Sie bitte die Liste der unbedingt zu lesenden und neuesten Artikel schreiben, die wichtig sind, wenn ich Artikel über Suchbäume schreiben möchte? Ich persönlich habe die folgende Liste von Artikeln (Sie ist ungleichmäßig, ziemlich alt und …

9 ds.data-structures  binary-trees 

Ich bin derzeit im zweiten Jahr an TCS interessiert. Vor kurzem hat mich die Schwierigkeit, in Zukunft in Doktorandenprogramme einzusteigen, etwas gestört, da die Auswahl in der Tat sehr wettbewerbsfähig ist. Ich habe die Webseiten einiger Top-CS-Schulen durchgesehen und festgestellt, dass ihre derzeitigen Absolventen meist auch aus Top-Grundschulen und vielen …

9 soft-question 

Klassisches Problem: Es sei eine Zahl kkk gegeben. Das kkk Clique-Problem ist wie folgt. Existiert bei einem Graphen GGG eine Teilmenge S.SS von kkk Eckpunkten, so dass zwei beliebige Eckpunkte von S.SS benachbart sind? Hypergraph Problem: Es seien die Zahlen ccc und kkk gegeben. Das ( c , k )(c,k)(c,k) …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable 

Ich versuche, mich mit den Konzepten universeller und existenzieller Typen zu beschäftigen, aber überall, wo ich hinschaue, sehe ich entweder logische oder operative Intuitionen (oder Implementierungen) (z. B. TAPL-Buch von B. Pierce), was gut ist , aber ich würde gerne die Definitionen sehen (wo wir sie als Mengen betrachten) - …

9 lo.logic  type-theory  type-systems  set-theory 

Hat jemand untersucht, wie komplex klassische Entscheidungen wie Primes oder Graph-Isomorphism für kleine Eingangsgrößen ?N.NN Während die meisten Leute daran interessiert sind, wie die Skalierung als , wäre es meiner Meinung nach auch interessant zu sehen, wie dies für kleine N wächst. Sicher, wir wissen jetzt, dass Primes in P …

9 cc.complexity-theory  reference-request  circuit-complexity 

Ich mache einen Abschluss in Informationstheorie und bin ständig beeindruckt, wie viel konvexe Optimierung in diesem Fach steckt. Die Beweise scheinen jedoch davor zurückzuschrecken, die gesamte Maschinerie der Entspannungstheorie, der Dualität usw. zu nutzen. Dies ist verständlich, da Sie kein ganzes Semester konvexer Optimierung benötigen, um dieses Zeug zu lehren. …

9 reference-request  it.information-theory  convex-optimization 

Wenn ein Graph und ein , möchte man berechnen. . ( ) Die Erweiterung mit kleinen Mengen Vermutung "besagt, dass es NP-schwer ist zu bestimmen, ob dies unter oder über fürG=(V,E)G=(V,E)G=(V,E)δ>0δ>0\delta > 0h(G,δ)=min|S|≤δ|V|ϕ(S)h(G,δ)=min|S|≤δ|V|ϕ(S)h(G,\delta)=min_{\vert S\vert \leq \delta \vert V \vert } \phi(S)ϕ(S)=E(S,S¯)dmin{|S|,n−|S|}ϕ(S)=E(S,S¯)dmin{|S|,n−|S|}\phi(S) = \frac{ E(S,\bar{S}) }{d min \{\vert S \vert , …

9 cc.complexity-theory  spectral-graph-theory  expanders  unique-games-conjecture 

Als professioneller Softwareentwickler habe ich viele wirklich interessante technische Arbeiten gesehen, von denen viele als technische Artikel in Fachzeitschriften und Websites wie http://www.drdobbs.com und http://www.codeproject.com veröffentlicht wurden und viele andere, hier einige Beispiele in einigen Bereichen von Interesse: Algorithmus Engineering und Implementierung: http://www.codeproject.com/Articles/18113/KD-Tree-Searching-in-N-dimensions-Part-I http://www.codeproject.com/Articles/9021/Simple-and-fast-Huffman-coding http://www.drdobbs.com/cpp/sorting-an-immutable-list/240163397 http://www.codeproject.com/Articles/33781/Calculate-Percentiles-in-O-1-space-and-On-time Datenstrukturen: http://www.codeproject.com/Articles/43103/SlimList http://www.codeproject.com/Articles/2839/C-AVL-Tree-Template http://www.codeproject.com/Articles/9138/Fast-Binary-Tree-Operations …

9 soft-question  research-practice 

Wir haben einen Zeitalgorithmus, um zu bestimmen, ob ein Graph einen Zyklus der Länge genau . Wie können wir mit demselben oder einem anderen Algorithmus herausfinden, wie viele solcher Zyklen in vorhanden sind? G k k G.f( k ) n3f(k)n3f(k) n^3GGGkkkkkkGGG

9 graph-theory  graph-algorithms 

Folgendes wird nicht als wahr angesehen: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Können Sie mir helfen zu sehen, wo das Argument zusammenbricht? Das Problem der gerichteten Erreichbarkeit ist für . Ich behaupte, dass es in -uniform .LL\mathsf{L}LL\mathsf{L}NC1NC1\mathsf{NC^1} Das Problem der gerichteten Erreichbarkeit über Konfigurationsgraphen der deterministischen Log-Space-Turing-Maschine ist für …

9 cc.complexity-theory  graph-algorithms  complexity-classes  descriptive-complexity  finite-model-theory 

Stellen Sie sich ein Problem vor, bei dem Sie ein 2D-Raster (z. B. ein Schachbrett) erhalten, in dem bestimmte Quadrate belegt sind, und Sie müssen die Mindestanzahl nicht überlappender Rechtecke beliebiger Größe wxh mit w = 1 oder h = 1 (dh "Quadrat" angeben Segmente ") so, dass alle nicht …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

Ich forsche derzeit im Bereich Pseudozufälligkeit, wozu ein Zoo wundervoller Objekte wie Pseudozufallsgeneratoren, Zufälligkeitsextraktoren, Expander-Graphen usw. gehört. Ich finde es ein faszinierendes Thema, aber eine Sache, die mich verrückt macht, ist die Flut von Parametern, die es gibt beteiligt. Ich verstehe, dass diese Objekte sehr komplex sind, aber ich kann …

9 soft-question  research-practice 

Ich arbeite an Approximationsalgorithmen für ein minimal dominierendes Mengenproblem. Insbesondere interessiere ich mich für Grafikklassen, die durch verbotene induzierte Untergraphen eingeschränkt sind. Da das Dominanzproblem und seine Varianten ausführlich untersucht wurden, könnte jemand zuvor daran gearbeitet haben. Die Frage ist also: Kennt jemand Artikel, in denen Approximationsalgorithmen für Dominanzprobleme für …

9 graph-theory  graph-algorithms  approximation-algorithms