Ich bin besonders an ihrer Verwendung in Modellprüfungsanwendungen interessiert. Ich habe offene, geschlossene und gemischte Netzwerke von Warteschlangen mit verschiedenen Kundenklassen von Baskett et al. Irgendwelche anderen Vorschläge zum Lesen von Material? Vielen
In vielen Lehrbüchern ist es einfach, die Beweise für die Reduzierung des Subjekts und die starke Normalisierung für System F zu lesen. Manchmal gibt es auch Definitionen von System F mit Paaren, wobei (t, r) ein Begriff ist, nicht nur eine Codierung. Die Frage ist, was wäre die Referenz für dieses...
In einem Diagramm ist eine unabhängige Menge eine Scheitelpunktuntermenge, die keine Kante als induzierten Untergraphen enthält. Das Problem, die größten unabhängigen Mengen in einem Graphen zu finden, ist eine grundlegende algorithmische Frage, und zwar eine schwierige. Betrachten wir die...
Während eines EE-Studiums besuchte ich einige Vorlesungen, die eine schöne Charakterisierung der Booleschen Schaltkreise hinsichtlich der Anzahl der verschachtelten Schleifen darstellten. In der Komplexität werden boolesche Schaltungen oft als Dags angesehen, aber in realen Hardwarezyklen sind sie...
DDD{0,1}d×{0,1}{0,1}d×{0,1}\{0,1\}^d\times \{0,1\}CCCf:{0,1}d→{0,1}f:{0,1}d→{0,1}f:\{0,1\}^d\rightarrow\{0,1\}f∈Cf∈Cf \in Cerr(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D)=Pr(x,y)∼D[f(x)≠y]err(f,D) = \Pr_{(x,y) \sim D}[f(x) \neq y]OPT(C,D)=minf∈C err(f,D)OPT(C,D)=minf∈C err(f,D)OPT(C,D) = \min_{f \in C}\...
Dies ist eine Fortsetzung meiner vorherigen Frage zur Kommunikationsuntergrenze für partielle Boolesche Funktionen . Kann jemand einen Hinweis auf Untergrenzen für nichtdeterministische Mehrparteienkommunikation vorschlagen? Ich habe die Arbeiten auf dem Gebiet untersucht, aber jeder scheint...
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...
Ich versuche, Probleme zu finden, deren durchschnittliche Raumkomplexität analysiert wurde. Insbesondere interessiert mich, ob es Probleme mit einer nachgewiesenen Untergrenze der Raumkomplexität gibt, die superlinear ist, und insbesondere, wenn es Probleme mit einer Durchschnittsfallanalyse gibt...
Wurde daran gearbeitet, die Steigung eines Liniensegments nach seiner Digitalisierung wiederherzustellen? Das kann man natürlich nicht mit perfekter Genauigkeit machen; Was man will, ist eine Methode, aus einer digitalisierten Linie ein Intervall möglicher Steigungen abzuleiten. (Der Begriff einer...
Ich habe ein Problem, das sich in NEXP NP befindet und auch durch ein alternierendes TM mit exponentieller Zeit und nur einem Wechsel (beginnend in einem existenziellen Zustand) gelöst werden kann.NPNP^{\text{NP}} Ist etwas über NEXP NP bekannt ? Ist es gleich NEXP oder einer anderen Klasse? Gibt...
Bedingte Logik ist eine Logik, die die traditionelle logische Implikation mit Modaloperatoren erweitert, die anderen Begriffen der Bedingung entsprechen (z. B. lautet die kausale Bedingung " verursacht" B "oder" B " probabilistische Konditionierung " ", die " gegebenes " lautet ).A□→BA◻→BA\;...
ϕϕ\phi ϕϕ\phiϕϕ\phi Der zweite Teil meiner Frage lautet: Gibt es bekannte Einschränkungen, so dass das Problem entscheidbar ist? Beispielsweise kann das Problem für Formeln erster Ordnung mit nur monadischen Prädikaten entscheidbar werden. Oder wenn wir ein monadisches Prädikat plus eine...
Ist es möglich, einen Algorithmus zu konstruieren, der einen Pushdown-Automaten als Eingabe verwendet, zusammen mit dem Versprechen, dass die von diesem Automaten akzeptierte Sprache eine deterministische kontextfreie Sprache ist und einen deterministischen Pushdown-Automaten ausgibt, der genau die...
Ich bin derzeit auf der Suche nach gutem Referenzmaterial, das nicht-lokale Spiele mit nützlichen Aspekten in der Quantenkommunikation in Verbindung bringt. Ich bin mir zum Beispiel bewusst, dass nicht-lokale Spiele die Komplexität der Kommunikation begrenzen und die Sicherheit von QKD-Protokollen...
Ich würde mich sehr für Verweise auf die Theorie der submodularen Funktionen (von den Grundlagen bis zu den Fortgeschrittenen) interessieren. Insbesondere studiere ich Annäherungen an schwierige Optimierungsprobleme und möchte meine Grundlagen in submodularen Funktionen entwickeln, da diese für die...
Ich möchte wissen, ob das folgende Problem in (nicht deterministischer Logspace) entschieden werden kann:NLNL\mathsf{NL} Gibt es bei einem gerichteten Graphen mit zwei unterschiedlichen Eckpunkten und einen eindeutigen Pfad von nach in ?GGGssstttssstttGGG Ich , dass es wahrscheinlich in da wir...
Das Problem der traditionellen Kunstgalerie richtet eine Region und Wachen mit einer gewissen Sichtbarkeit ein und fordert die Mindestanzahl von Wachen an, die platziert werden müssen, um die gesamte Region zu sehen. Hat sich jemals jemand Kunstgalerievarianten angesehen, bei denen der...
Sei eine Folge von ganzen Zahlen, wobei jedes . Für sei. Das te Frequenzmoment ist definiert alsa j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i } | kein1, ein2, … , A.ma1,a2,…,ama_1, a_2,\dotsc, a_meinj∈ { 1 , 2 , … , n }aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i ∈ { 1 , 2 , … , n...
EDIT (von Tara B): Ich wäre immer noch an einem Hinweis auf einen Beweis dafür interessiert , da ich ihn selbst für meine eigene Arbeit beweisen musste. Ich suche nach dem Beweis von Satz 4, der in diesem Artikel erscheint: Eine unendliche Hierarchie von Schnittpunkten kontextfreier Sprachen von...
Nach dem Buch Topological Graph Theory von Gross und Tucker wird bei einer zellulären Einbettung eines Graphen auf einer Oberfläche (mit 'Oberfläche' meine ich hier eine Kugel mit einigen Griffen, und unter bezieht sich auf die Kugel mit genau Griffe) kann ein dualer Multigraph definiert werden,...