Informatica teorica

2

Automorphism grafico approssimativo non banale?

L'automorfismo del grafico è una permutazione dei nodi del grafico che induce una biiezione sul bordo impostato . Formalmente, è una permutazione f di nodi come ( u , v ) ∈ E iff ( f ( u ) , f ( v ) ) ∈ EEEEfff(u,v)∈E(u,v)∈E(u,v)\in E(f(u),f(v))∈E(f(u),f(v))∈E(f(u),f(v))\in E Definire …

10 cc.complexity-theory graph-theory automorphism symmetry

2

Rappresenta in modo compatto il set di soluzioni di un'istanza SAT

Questa domanda è emersa nella mia mente dopo aver letto i contributi di András Salamon e Colin McQuillan alla mia domanda precedente Conteggio delle soluzioni delle formule Monotone-2CNF . EDIT 30 ° Mar 2011 Aggiunto domanda n ° 2. EDIT 29 ° ottobre 2010 Domanda riformulato dopo la proposta di …

10 cc.complexity-theory ds.algorithms sat counting-complexity

1

Trovare percorsi corti e grassi

Motivazione: Negli algoritmi standard di maxflow del percorso di incremento, il ciclo interno richiede di trovare i percorsi dalla sorgente al sink in un grafico diretto e ponderato. Teoricamente, è risaputo che, affinché l'algoritmo si interrompa anche quando ci sono capacità di bordo irrazionali, dobbiamo porre delle restrizioni sui percorsi …

10 ds.algorithms graph-theory graph-algorithms

3

Algoritmi per il calcolo dell'equilibrio di Nash.

Ho cercato nel forum per vedere se questo è stato chiesto prima, e mentre si discute della teoria dei giochi algoritmica, non sono riuscito a trovare questo particolare problema risolto. Sto cercando di capire qual è l'algoritmo più noto per calcolare equilibri approssimativi (a strategia mista) di Nash in un …

10 ds.algorithms gt.game-theory

3

Documenti sulla gestione dei guasti nei sistemi distribuiti

Quali documenti sulla gestione degli errori nei sistemi distribuiti mi consiglia?

10 reference-request dc.distributed-comp

1

Quali sono gli attuali limiti superiore e inferiore più noti sulla soglia (non) di soddisfacibilità per k-sat e / o 3-sat casuali?

Vorrei sapere lo stato corrente della transizione di fase per k-sat casuale, date n variabili e clausole m, qual è il c = m / n più noto per i limiti superiore e inferiore.

10 cc.complexity-theory sat lower-bounds upper-bounds phase-transition

1

CSP con larghezza di ipertensione frazionaria illimitata

un''a´\acute{\rm a}H ∈ P T I M EHHHHHH∈ PTioME∈PTIME\in PTIME Definizioni, ecc. Per un ottimo rilevamento delle decomposizioni degli alberi standard e della larghezza degli alberi, vedi qui (Grazie in anticipo, JeffE!). Lascia che sia un ipergrafo.HHH Quindi per un ipergrafo e una mappatura ,γ : E ( H ) …

10 cc.complexity-theory graph-theory hypergraphs treewidth csp

1

Esiste un linguaggio sparsa conosciuto in NPI sotto l' ipotesi

Mi chiedo di sapere wether ci sono lingua sparse (anche costruito da ritardato diagolanization) nel NPI sotto l'ipotesi che .P≠NPP≠NPP \neq NP

10 cc.complexity-theory complexity-classes

4

Funzioni interessanti sui grafici che possono essere massimizzate in modo efficiente.

Supponiamo che io abbia un grafico ponderato tale che w : E → [ - 1 , 1 ] è la funzione di ponderazione - notare che sono ammessi pesi negativi.G=(V,E,w)G=(V,E,w)G = (V,E,w)w:E→[−1,1]w:E→[−1,1]w:E\rightarrow [-1,1] Dire che definisce una proprietà di qualsiasi sottoinsieme dei vertici S ⊂ V .f:2V→Rf:2V→Rf:2^V\rightarrow \mathbb{R}S⊂VS⊂VS \subset …

10 ds.algorithms graph-theory co.combinatorics

2

Hashing set di numeri interi per i test di inclusione

Sto cercando una funzione hash sugli insiemi H (.) E una relazione R (.,.) Tale che se A è incluso in B, allora R (H (A), H (B)). Naturalmente, R (.,.) Deve essere facile da verificare (tempo costante) e H (A) deve essere calcolato in tempo lineare. Un esempio di …

10 ds.algorithms hash-function

2

Esistono classi di complessità contenenti controparti online dei problemi di ottimizzazione?

Esistono classi di complessità contenenti controparti online dei problemi di ottimizzazione? In caso contrario, come può essere definita tale classe? Sappiamo che molti problemi hanno la loro versione online: ad esempio la versione online del problema di imballaggio del cestino. I problemi online sono più difficili misurati dai loro rapporti …

10 cc.complexity-theory complexity-classes

1

Mondi relativi ai quali non esistono "generatori invulnerabili"

I generatori invulnerabili sono definiti come segue: Sia una relazione NP e M sia una macchina che accetta L ( R ) . Informalmente, un programma è un generatore invulnerabile se, sull'ingresso 1 n , produce coppie istanza-testimone ( x , w ) ∈ R , con | x | …

10 cc.complexity-theory cr.crypto-security oracles relativization kolmogorov-complexity

1

Quali sono i limiti teorici del linguaggio di programmazione Stratego?

Stratego è un linguaggio di trasformazione della programmazione / Riscrittura DSL. Anthony Sloane ha svolto alcuni lavori eseguendo un'implementazione su Scala . Quali sono i limiti teorici di Stratego come linguaggio funzionale? (indipendentemente dall'implementazione). Si potrebbe scrivere un ycombinator di ordine applicativo in Stratego?

10 functional-programming

2

Varianti complete di NP di problemi indecidibili?

Esempi di varianti limitate di di insiemi non decidibili:NPNPNP Problema di Halting associato = { | La macchina NTM ferma e accetta entro passi}(M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Piastrellatura limitata = { | c'è una piastrellatura di un quadrato dell'area di piastrelle da }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problema di corrispondenza posta vincolata = { …

10 cc.complexity-theory np-hardness

2

Conseguenze dei limiti inferiori per

Molti qui sono probabilmente a conoscenza dei recenti limiti inferiori superlineari di Alon per le reti in un ambiente geometrico naturale [PDF] . Vorrei sapere che cosa, se non altro, un limite così basso implica l'approssimabilità dei problemi associati alla copertura del set / colpire il set. εε\epsilon Per essere …

10 cg.comp-geom set-cover hypergraphs approximation-hardness epsilon-nets