Als «reference-request» getaggte Fragen

Eine Referenzanforderung wird verwendet, wenn der Autor über Arbeiten im Zusammenhang mit der Frage Bescheid wissen muss.

2
H-freies Schnittproblem
Angenommen, Sie erhalten einen zusammenhängenden, einfachen, ungerichteten Graphen H. Das H-freie Schnittproblem ist wie folgt definiert: Bei einem einfachen, ungerichteten Graphen G gibt es einen Schnitt (Aufteilung der Eckpunkte in zwei nicht leere Mengen, L, R), so dass die durch die Schnittsätze (L und R) induzierten Graphen keinen zu H …


1
Gibt es einen Zusammenhang zwischen relationaler Algebra / Analysis und Kategorietheorie?
Ich kenne mindestens zwei verschiedene theoretische Ansätze zum Verständnis relationaler Datenbanken: Codds relationale Algebra / Kalkül und Kategorietheorie. Gibt es eine Beziehung zwischen diesen beiden Ansätzen? Sind sie in gewissem Sinne gleichwertig? Gibt es eine einführende Arbeit, die erklärt, wie beide Frameworks relationale Datenbanken erklären? Hintergrund: Vor einiger Zeit habe …

2
Ist der Schnittpunkt von
Es ist bekannt, dass der Schnittpunkt von drei allgemeinen Matroiden NP-hart ist ( Quelle ), was durch Reduktion aus dem Hamilton-Zyklus erfolgt. Für die Reduzierung werden eine Grafik-Matroide und zwei Konnektivitäts-Matroide verwendet. Ein spezieller Fall eines Problems, an dem ich arbeite, kann durch Überschneiden mehrerer grafischer Matroiden gelöst werden, aber …

2
"Fast sortieren" von ganzen Zahlen in linearer Zeit
Ich bin daran interessiert, ein Array positiver ganzzahliger Werte in linearer Zeit zu sortieren (im RAM-Modell mit einheitlichem Kostenmaß, dh ganze Zahlen können bis zu logarithmischer Größe haben, aber es wird angenommen, dass arithmetische Operationen auf sie angewendet werden Zeiteinheit). Natürlich ist dies mit vergleichsbasierten Sortieralgorithmen nicht möglich, daher bin …

2
Aktuelle TCS-Publikationen mit philosophischen Aspekten
Viele Veröffentlichungen der Informatik aus den 1950er und 1960er Jahren enthalten faszinierende philosophische Spekulationen über die Natur des Geistes und die Bedeutung von Informationen in Bezug auf die physische Welt. Berühmte Beispiele sind der "Turing Test", Zuses "Calculating Space", Wheelers "it from bit" usw. Heutzutage sind solche Themen in populärwissenschaftlichen …

2
Status quo von Kategorietheorie und Monaden in der theoretischen Informatikforschung?
Hintergrund . Ich bin ein Bachelor-Student, der sich für Forschung in Bezug auf Kategorietheorie, Monaden und Haskell interessiert, und ich möchte ein Thema für meine Bachelor-Arbeit in diesem Bereich finden. Ich habe mir die Zeitung angesehen Eugenio Moggi , " Vorstellungen von Berechnungen und Monaden ", 1991, und ich verstehe …

1
Referenz für den Algorithmus zum Testen der Azyklizität gemischter Graphen?
Ein gemischtes Diagramm ist ein Diagramm, das sowohl gerichtete als auch ungerichtete Kanten haben kann. Das zugrunde liegende ungerichtete Diagramm wird erhalten, indem die Ausrichtungen der gerichteten Kanten vergessen werden, und in der anderen Richtung wird eine Ausrichtung eines gemischten Diagramms erhalten, indem jeder ungerichteten Kante eine Richtung zugewiesen wird. …




2
Zum in
Ich versuche die Komplexität von Funktionen zu verstehen, die über Schwellenwert-Gatter und dies führte mich zu . Insbesondere interessiert mich, was derzeit über das Lernen in , da ich kein Experte auf diesem Gebiet bin.T C 0T C0TC0\mathsf{TC}^0T C0TC0\mathsf{TC}^0 Was ich bisher entdeckt habe, ist: Alle können in quasipolynomialer Zeit …

2
Eine gute Referenz für Komplexitätsklassenoperatoren?
Ich bin daran interessiert, ob es gute Expository-Artikel oder Umfragen gibt, auf die ich mich beziehen kann, wenn ich über Komplexitätsklassenoperatoren schreibe : Operatoren, die Komplexitätsklassen transformieren, indem sie ihnen beispielsweise Quantifizierer hinzufügen. Beispiele für Operatoren Das Folgende kann als eine minimale Liste von Operatoren interpretiert werden, die eine Antwort …

2
Komplexität beim Zählen der Anzahl der Kantenabdeckungen eines Diagramms
Eine Kantenabdeckung ist eine Teilmenge von Kanten eines Diagramms, sodass jeder Scheitelpunkt des Diagramms an mindestens eine Kante der Abdeckung angrenzt. Die folgenden beiden Papiere sagen , dass Zählflanke Abdeckungen ist #P -komplette: Eine einfache FPTAS für Zählflanke Covers und Generieren von Kantenabdeckungen von Pfadgraphen . Sofern ich nichts verpasst …


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.