Als «reference-request» getaggte Fragen

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

1
Die Komplexität des dominierenden Mengenproblems in bestimmten Unterklassen von Akkordgraphen
Ich interessiere mich für die Komplexität des Dominating-Set-Problems (DSP) in einigen spezifischen Graphenklassen, die Unterklassen von Akkordgraphen sind . Ein Diagramm ist ein ungerichtetes Pfaddiagramm, wenn es sich um das Scheitelpunkt-Schnittdiagramm einer Pfadfamilie in einem ungerichteten Baum handelt. Sei UP die Klasse der ungerichteten Pfadgraphen. Ein Diagramm ist ein EPT-Diagramm, …
2
Anwendung von Ramsey-Zahlen
Die Definition von Ramsey-Zahlen lautet wie folgt: Sei eine positive Zahl, so dass jeder Graph der Ordnung mindestens R ( a , b ) entweder eine Clique auf einem Knoten oder eine stabile Menge auf b Knoten enthält.R ( a , b )R(ein,b)R(a,b)R ( a , b )R(ein,b)R(a,b)eineinabbb Ich arbeite …
4
Modellieren von Objekten (OOP) in der Theorie abhängiger Typen
Ich interessiere mich für die Modellierung von Objekten aus der objektorientierten Programmierung in der Theorie der abhängigen Typen. Als mögliche Anwendung hätte ich gerne ein Modell, in dem ich verschiedene Funktionen von imperativen Programmiersprachen beschreiben kann. Ich konnte nur einen Artikel zur Modellierung von Objekten in der Theorie abhängiger Typen …
1
Elementargrenzen für Parameter in der Traktierbarkeit von Festparametern?
In der Definition der (starken) Traktierbarkeit fester Parameter ist die ein Ausdruck der Form wobei die mit dem Parameter ,f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkppp ist Polynom und ist eine berechenbare Funktion.fff Es ist möglich, die Berechenbarkeitsanforderung für durch andere Funktionsklassen zu ersetzen , solange der Begriff der Reduktion ähnlich eingeschränkt ist. (Zum Beispiel decken …
3
Erfolgreiche Anwendung von Branch-and-Bound-Methoden für NP-harte Probleme
Branch-and-Bound ist eine effektive Heuristik für Suchprobleme, und Wikipedia listet eine Reihe schwerwiegender Probleme auf, bei denen Branch-and-Bound verwendet wurde. Es ist mir jedoch nicht gelungen, Referenzen zu finden, die darauf hindeuten, dass dies mehr als nur eine Methode zur Lösung dieser Probleme ist. Anekdotisch habe ich gehört, dass einige …
3
Implementierter Code zur Berechnung der Pfadbreite (= Knotensuchnummer, Scheitelpunkttrennungsnummer, Intervalldicke)
Ich suche nach einer Implementierung eines Algorithmus zur Berechnung der Pfadbreite eines Graphen. Es ist bekannt, dass das Berechnen der Pfadbreite dem Berechnen der Knotensuchnummer, der Scheitelpunkttrennungsnummer oder der Intervalldicke des Graphen äquivalent ist. Der Algorithmus muss nicht sehr schnell sein; Ich möchte es auf Graphen von höchstens 20 Eckpunkten …
1
Referenzanforderung: Zahlentheorie-freier Nachweis, dass maximale Stabilisatorgruppen eindeutige Zustände bestimmen
Kontext. Ich schreibe zu Themen wie dem Gottesman-Knill-Theorem unter Verwendung von Pauli-Stabilisatorgruppen, aber im Fall von d- dimensionalen Qudits - wobei d mehr als einen Primfaktor haben kann. (Ich betone dies, weil die überwiegende Mehrheit der Literatur über Stabilisatorformalismus in "höheren Dimensionen" die Fälle von d prime oder d a …
2
Übersicht über Transformationen im Zusammenhang mit der Verwendung von SAT-Lösern
Ich beginne, die Möglichkeit zu untersuchen, mich auf einen SAT-Löser zu verlassen, um ein Optimierungsproblem zu lösen, an dem ich interessiert bin, und suche derzeit nach einer Umfrage, die Beispiele für "clevere" Transformationen in Varianten von SAT (dh Transformationen, die resultieren) enthält in einem Problem von vernünftiger Größe, da ich …
6
Hat ein algorithmisches Problem eine zeitliche Komplexität, die vom Zählen dominiert wird?
Was ich als Zählen bezeichne, ist das Problem, das darin besteht, die Anzahl der Lösungen für eine Funktion zu finden. Genauer gesagt, bei gegebener Funktion f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (nicht unbedingt Blackbox), approximieren Sie #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Ich suche nach algorithmischen Problemen, die eine Art Zählen beinhalten und bei denen …
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.