Theoretische Informatik application-of-theory

1

Erkennungsschaltung, die in Funktionalität und Implementierung ähnlich ist

Sei ein Vektor boolescher Variablen. Sei zwei boolesche Schaltungen auf . Sagen Sie, dass ähnlich ist, wenn:x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] ist exponentiell klein, wenn xxx gleichmäßig zufällig aus \ {0,1 \} ^ n gezeichnet wird {0,1}n{0,1}n\{0,1\}^n(mit anderen Worten, sie haben eine nahezu identische Funktionalität); und, C,DC,DC,D unterscheiden sich in der …

11 sat application-of-theory

2

Datenstruktur, die effiziente tagbasierte Suchvorgänge ermöglicht

Ich suche eine hocheffiziente Datenstruktur zur Speicherung von Daten ähnlich der folgenden. ID Tags Order1 Order2 -------------------------- 1 1,2 1 1 2 2,5 2 3 3 1,7 4 7 4 6 3 0 Ich muss in der Lage sein, diese Struktur so abzufragen, dass ich eine Liste aller IDs bekomme, …

11 ds.data-structures application-of-theory db.databases

6

Anwendung der Graphentheorie in der Informatik

Ich bin ein CS-Student. Wir haben Graphentheorie in einem Kurs gemacht. Ich fand es interessant. Was sind die wirklichen Anwendungen der Graphentheorie in der Informatik? Ich fand zum Beispiel heraus, dass einige Konzepte in der Graphentheorie zum Entwerfen von Netzwerken verwendet werden können. Was sind andere ähnliche Anwendungen?

11 graph-theory co.combinatorics big-list application-of-theory

1

Mindestgewicht Unterwald der gegebenen Kardinalität

Diese Frage wurde durch eine Frage zum Stapelüberlauf motiviert . Angenommen, Sie erhalten einen Wurzelbaum (dh es gibt eine Wurzel und Knoten haben Kinder usw.) auf n Knoten (mit 1 , 2 , … , n bezeichnet ).TTTnnn1,2,…,n1,2,…,n1, 2, \dots, n Jedem Scheitelpunkt ist ein nicht negatives ganzzahliges Gewicht zugeordnet: …

11 cc.complexity-theory reference-request np-hardness tree application-of-theory

2

Sind soziale Netzwerke normalerweise gute Expander?

Ich interessiere mich für die kombinatorischen Eigenschaften sozialer Netzwerke als Grafiken. Die Leute haben sich Dinge wie die Verteilung der Grade, den Clustering-Koeffizienten und die Kompressibilität dieser Graphen angesehen. Eine grundlegende Frage lautet: Sind diese Diagramme normalerweise gute Expander-Diagramme? Hat jemand beispielsweise die spektrale Lücke des Facebook-Graphen überprüft? Oder die …

11 graph-theory application-of-theory expanders

1

Was ist der Beweis dafür, dass Quantencomputer beliebige quantenmechanische Systeme effizient simulieren können?

JBV schlug vor, einige Kommentare in eine Frage umzuwandeln. Eine weitere Frage [1] betrifft Anwendungen des QM-Computing. Eine Antwort [2] war "die Quantenmechanik effizient simulieren". Anscheinend geht diese Idee auf Feynmans frühes Schreiben zu diesem Thema zurück; obwohl ich keine Referenz habe. Damit: Frage. Was ist der Beweis dafür, dass …

10 reference-request quantum-computing application-of-theory

1

Minimales Problem bei der Pfadabdeckung

Wir arbeiten in verteilten Computern und haben ein Komplexitätsproblem festgestellt, das sich auf ein Minimum an Pfadabdeckungsproblemen reduziert. Wir wissen derzeit nicht, wie wir es lösen sollen. Das Problem ist das folgende: Sei eine ganze Zahl und sei Z k ein Graph mit k ( k + 1 )kkkZ.kZkZ_k Eckpunkte. …

10 graph-theory co.combinatorics application-of-theory

1

Gibt es Anwendungen der modularen Graphzerlegung in der TCS / Komplexitätstheorie?

Welche Anwendungen der modularen Graphzerlegung gibt es in der TCS / Komplexitätstheorie? Ich bin besonders an seiner Verwendung in Proofs oder oberen / unteren Grenzen interessiert, wenn es auftritt. [1] Modulare Graphzerlegung , Wikipedia. [2] Referenzen für modulare Zerlegung , TCS.SE.

8 reference-request graph-theory graph-algorithms application-of-theory cc.complexity-theory

2

Gibt es einen Zusammenhang zwischen TCS und nachhaltiger Energieforschung?

Kennt jemand eine Arbeit, die Theoretische Informatik und billige / nachhaltige Energie verbindet? dh gibt es irgendwelche Arbeiten in TCS mit der Anwendung in billiger / nachhaltiger Energie.

8 application-of-theory

2

Nachauswahl in der geometrischen Komplexitätstheorie

Kontext: Soweit ich weiß, dient in der Theorie der geometrischen Komplexität das Vorhandensein von Hindernissen sozusagen als Nachweis für das Nichtvorhandensein einer effizienten Rechenschaltung für die explizite harte Funktion im betrachteten Problem der unteren Grenze. Nun gibt es einige andere Annahmen für Hindernisse, dass sie kurz, leicht zu überprüfen und …

8 application-of-theory proof-complexity gct

1

Ist dieser spezielle Fall der „Mindestgewichtslösung für lineare Gleichungen“ noch NP-vollständig?

Wir in unserer Forschungsgruppe arbeiten an der Anwendung heuristischer Methoden auf das inverse Beleuchtungsproblem (dh angesichts einer Reihe von Einschränkungen hinsichtlich der Beleuchtungsbedingungen in einer Szene finden wir die Orte, an denen die Lichtquellen platziert werden müssen, und ihre Intensitäten in um die Einschränkungen zu erfüllen und die Kosten zu …

8 cc.complexity-theory np-hardness cg.comp-geom application-of-theory

Als «application-of-theory» getaggte Fragen