Informatica teorica

4

Il numero di cricche in un grafico: il risultato Moon and Moser 1965

Sto cercando il testo completo del risultato della cricca Moon and Moser 1965 su Cliques in Graphs (esistono grafici con un numero di cricche massime esponenziali in ). Il paywall della mia università non ha accesso al diario specifico. (In effetti, l' anteprima fornisce le prime frasi della prova, ma …

10 reference-request graph-theory co.combinatorics clique

2

Quando una proprietà FO uccide la durezza NL?

Contesto: consideriamo solo digrafi. Lascia che CYCLE sia il linguaggio dei grafici con un ciclo; è un problema completo della BN. Lascia che HASEDGE sia il linguaggio dei grafici con almeno un bordo. Quindi banalmente, CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE} non è più difficile per NL, mentre CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} rimane tale. …

10 cc.complexity-theory graph-theory descriptive-complexity

2

Una variante di Critical SAT in DP

Una lingua è nella classe D P se ci sono due lingue L 1 ∈ N P e L 2 ∈ c o N P tale che L = L 1 ∩ L 2LLLDPDPDPL1∈NPL1∈NPL1 \in NPL2∈coNPL2∈coNPL2 \in coNPL=L1∩L2L=L1∩L2L = L1 \cap L2 Una canonica problema -Complete si SAT-UNSAT: dato due …

10 cc.complexity-theory np-hardness complexity-classes sat

3

Durezza computazionale di programmi per computer "reali"

Ho sentito spesso dire che non è possibile scrivere un programma per rilevare bug in un browser Web, elaboratore di testi o sistema operativo, a causa del teorema di Rice: qualsiasi proprietà semantica per un linguaggio completo di Turing è indecidibile. Tuttavia, non sono sicuro fino a che punto questo …

10 computability

3

Perfezioni dell'approssimazione di coppia per l'analisi della rete

Quando si considerano le interazioni sulle reti, di solito è molto difficile calcolare analiticamente la dinamica e vengono utilizzate approssimazioni. Le approssimazioni del campo medio di solito finiscono per ignorare completamente la struttura della rete, e quindi raramente sono una buona approssimazione. Un'approssimazione popolare è l'approssimazione di coppia, che considera …

10 graph-theory gt.game-theory evolutionary-game-theory

1

Densità delle lingue complete di P.

Supponiamo che sia un linguaggio booleano, con stringhe finite oltre { 0 , 1 } . Sia L n il numero di stringhe in L con lunghezza n . Per una funzione d ( n ) dagli interi positivi ai numeri reali positivi, L ha una densità superiore d ( …

10 cc.complexity-theory reference-request p-hardness

2

I registri a spostamento di feedback lineare sono generalmente scoraggiati dai crittologi?

Katz e Lindell menzionano nel loro libro che l'LFSR è stato orribile come base per i generatori pseudocasuali e sostengono che non vengono più utilizzati (beh, raccomandano anche che le persone usino le cifre in blocchi invece che quelle in streaming). Ma vedo ad esempio che una delle cifre nel …

10 soft-question cr.crypto-security pseudorandom-generators

3

Quanto è facile cambiare l'area di ricerca in CS (passando da M.Tech a PhD)?

Sono di fronte a un dilemma piuttosto duro: - Avevo completato M. Tech in CS 2 anni fa, completando la mia tesi di laurea nel campo dei test VLSI. Anche se mi è piaciuto il mio lavoro, non desidero tornare a perseguire il mio dottorato in questo - ho fortemente …

10 soft-question advice-request career

1

Trovare una corrispondenza la cui contrazione minimizza il numero di archi in un grafico

Dato un grafico misto con i bordi e gli archi , trova una corrispondenza in che minimizza il numero di archi in , dove si ottiene da contraendo vertici abbinati e rimuovendo archi paralleli.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG (La versione decisionale di) questo problema NP è completo? È stato studiato in letteratura?

10 cc.complexity-theory reference-request graph-theory

1

Riferimento per l'indefinibilità del modulo di continuità funzionale in PCF?

Qualcuno può indicarmi il riferimento per la non definibilità del modulo di continuità funzionale in PCF? \newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer ha scritto un post sul blog molto bello esplorando alcuni dei problemi in modo più dettagliato, ma riassumerò solo un po 'del suo post per dare un po' di contesto …

10 pl.programming-languages lambda-calculus denotational-semantics computing-over-reals

1

Trovare un piano di taglio che divide uniformemente un poliedro

Supponiamo di avere un poliedro in forma standard: A x = bx ≥ 0UNX=BX≥0\begin{equation*} \begin{array}{rl} \mathbf{A}\mathbf{x} = \mathbf{b} \\\\ \mathbf{x} \ge 0 \end{array} \end{equation*} Esistono metodi noti per trovare un iperpiano che divide il poliedro in modo tale che il numero di vertici su ciascun lato dell'iperpiano sia approssimativamente lo …

10 ds.algorithms linear-programming linear-algebra

1

Ridurre i prodotti prime di factoring a prodotti interi di factoring (in media)

La mia domanda riguarda l'equivalenza della sicurezza di varie funzioni unidirezionali candidate che possono essere costruite sulla base della durezza del factoring. Supponendo il problema di FATTORE: [Dato per numeri primi casuali P , Q < 2 n , trova P , Q. ]N= PQN=PQN = PQP, Q < 2nP,Q<2nP, …

10 reference-request cr.crypto-security nt.number-theory average-case-complexity one-way-function

4

Sondaggi sulla codifica di rete

Voglio iniziare a conoscere la codifica di rete: http://en.wikipedia.org/wiki/Network_coding Conosci qualche buon sondaggio (ad es. Da IEEE Surveys and Tutorials) sugli argomenti di cui sopra. Ho trovato alcuni corsi universitari su google, ma vorrei alcuni consigli da persone che hanno già letto e conosciuto una buona fonte. Grazie Vasilis

10 it.information-theory coding-theory survey ni.networking-internet

1

Impronta digitale per set dinamici

Esiste una struttura di dati word-RAM w-bit con tempo O (1) per operazione per il seguente problema ?: Mantenere un set di numeri interi non negativi w-bit che supporta le operazioni add (x): aggiunge x all'insieme remove (x): rimuove x dal set fingerprint (): restituisce un'impronta digitale del set. Questa …

10 ds.data-structures

3

Corrispondenza del modello di permutazione nelle stringhe

A grandi linee, la corrispondenza del modello di permutazione affronta problemi del seguente tipo: Permutazioni trovati in e in , con , non contiene una sottosequenza di lunghezza cui elementi sono ordinate secondo ?ππ\pi σ S m m ≤ n π τ m σSnSnS_nσσ\sigmaSmSmS_mm ≤ nm≤nm\leq nππ\pi ττ\taummmσσ\sigma Ad esempio, …

10 permutations string-matching