Informatica teorica

3

Quali sono i recenti progressi nei database relazionali?

Mi chiedo quali sono i recenti progressi nella teoria dei database relazionali e nei domini correlati? Sono interessato a nuovi approcci, linguaggi di query (alternative a SQL e / o estensioni), prodotti (proprietari e open source, anche se sono molto più interessato all'open source) e progetti di ricerca sviluppati negli …

12 db.databases relational-structures

1

Esclusivi modelli SAT vs Exactly

Unico SAT è il problema ben noto: data una formula CNF , è vero che ha esattamente un modello?FFFFFFF Sono interessato al problema «Esattamente -SAT»: data una formula CNF e un intero , è vero che ha esattamente modelli?F m > 1 F mmmmFFFm>1m>1m>1FFFmmm Entrambi i problemi sembrano simili. Quindi …

12 cc.complexity-theory reference-request np-hardness sat reductions

1

Perché Feige-Fiat-Shamir non è Zero Conoscenza senza bit di segno?

Nel capitolo 10 di HAC (10.4.2) , vediamo il noto protocollo di identificazione Feige-Fiat-Shamir basato su una prova a conoscenza zero che utilizza la (presunta) difficoltà di estrarre radici quadrate da un modulo che è difficile da considerare. Darò lo schema con le mie stesse parole (e spero di farlo …

12 cr.crypto-security proofs zero-knowledge

2

Risultati della codifica dei canali usando la complessità di Kolmogorov

Di solito l'entropia di Shannon viene utilizzata per dimostrare i risultati della codifica dei canali. Anche per i risultati di separazione canale-sorgente viene utilizzata l'entropia shannon. Data l'equivalenza tra Shannon (globale) e Kolmogorov (locale) nozioni di informazione, c'è stato uno studio per utilizzare la complessità di Kolmogorov per questi risultati …

12 it.information-theory kolmogorov-complexity shannon-entropy

2

PARITÀ

è la classe di circuiti di dimensioni polinomiali a profondità costante con porte NOT e porte AND e OR fan-in illimitate, in cui anche ingressi e porte hanno un fanout illimitato.A C0AC0AC^0 Ora considera una nuova classe, chiamala che è come A C 0 ma per la quale gli ingressi …

12 cc.complexity-theory circuit-complexity

1

Qualche risultato sul CSP booleano binario oltre la tracciabilità dei parametri fissi del problema di quasi 2SAT?

Sia una formula 2CNF e k un numero intero non negativo. È dimostrato in questo documento che il problema di decidere se si possono eliminare al massimo k clausole per rendere φ soddisfacente, è trattabile a parametro fisso, dove k è il parametro. La mia domanda è se ci sono …

12 parameterized-complexity csp fixed-parameter-tractable

1

Transizione dal quantistico al classico casuale cammina sulla linea

Versione veloce Esistono modelli di decoerenza per la camminata quantistica sulla linea in modo tale che possiamo accordare la camminata per diffonderla come per qualsiasi 1/2 \ leq k \ leq 1 ?1 / 2 ≤ k ≤ 1Θ(tk)Θ(tk)\Theta(t^k)1/2≤k≤11/2≤k≤11/2 \leq k \leq 1 Motivazione Le passeggiate casuali classiche sono utili …

12 quantum-computing random-walks quantum-walk

1

Algoritmo di ordinamento ottimale in numero di swap

Data una sequenza di numeri, può essere ordinato con O ( n ln n ) confronti e O ( n ) swap / mosse? Qualsiasi puntatore a pubblicazioni su tale argomento o controargomenti che mostrano un limite inferiore di Ω ( n ln n ) sarebbe di aiuto.nnnO(nlnn)O(nln⁡n)O(n \ln n)O(n)O(n)O(n)Ω(nlnn)Ω(nln⁡n)\Omega(n …

12 cc.complexity-theory ds.algorithms

1

Le citazioni che mostrano i minori sono minori topologici per i grafici subcubici

Se è un grafico con il massimo grado 3 ed è minore di H , allora G è minorenne topologica di H .solGGHHHsolGGHHH Wikipedia cita questo risultato dalla "teoria dei grafi" di Diestel. È elencato come Prop 1.7.4 nell'ultima versione del libro. Il libro manca di prove o citazioni. Si …

12 reference-request graph-theory co.combinatorics graph-minor

2

Complessità di Kolmogorov con linguaggi di descrizione deboli

Possiamo pensare alla complessità di Kolmogorov di una stringa xxx come la lunghezza del programma più breve PPP e inserire yyy tale che x=P(y)x=P(y)x = P(y) . Di solito questi programmi sono tratti da un set completo di Turing (come PPP potrebbe essere la descrizione di una macchina di Turing, …

12 reference-request computability kolmogorov-complexity

2

Logiche modali assiomatizzate con profondità di annidamento una che difficilmente si trovano in PSPACE?

Sto cercando logiche modali, che sono assiomatizzate da un insieme finito di assiomi di profondità di annidamento modale uno e il cui problema di soddisfacibilità / derivabilità è improbabile che si trovi in PSPACE. Senza la limitazione sulla profondità di annidamento modale, questo non è un problema, vedere ad esempio …

12 cc.complexity-theory lo.logic modal-logic

2

Cosa c'è di speciale in

Nel Tiny Encryption Algorithm : Diversi multipli di una costante magica sono usati per prevenire attacchi semplici basati sulla simmetria dei round. La costante magica, 2654435769 o 9E3779B9 16 è scelta per essere , dove ϕ è il rapporto aureo.232/ ϕ232/ϕ2^{32}/ \phi Quali proprietà ha che lo rende utile in …

12 cr.crypto-security

2

Esiste un sondaggio sulla semantica delle varie funzioni del linguaggio di programmazione?

Esiste un sondaggio (dall'articolo, capitolo del libro, tutorial, collegamenti, ...) della semantica delle varie funzionalità del linguaggio di programmazione? Inizialmente sono stato sopraffatto dalle funzionalità di D qui http://www.digitalmars.com/d/2.0/comparison.html Mi piacerebbe vedere cosa potrei ottenere da qui, anche se ho fatto una domanda simile su StackOverflow e capire che questi …

12 reference-request pl.programming-languages survey

1

Durezza NP di un caso speciale di partizionamento numerico

Considera il seguente problema, Dato un insieme di numeri positivi in cui è una costante, vogliamo dividere l'insieme in sottogruppi di dimensioni modo che il prodotto della somma di ciascuno il sottoinsieme è massimizzato.{ a 1 , … , a n } k ≥ 3 m kn = k mn=kmn …

12 cc.complexity-theory np-hardness application-of-theory polynomial-time

4

Qual è la nozione più importante di scarsità per la progettazione di algoritmi grafici efficienti?

Esistono diverse nozioni concorrenti di un "grafico sparsa". Ad esempio, un grafico incorporabile in superficie potrebbe essere considerato scarso. O un grafico con densità del bordo limitata. O un grafico con circonferenza alta. Un grafico con grande espansione. Un grafico con larghezza dell'albero limitata. (Anche all'interno del sottocampo di grafici …

12 ds.algorithms graph-theory graph-algorithms big-picture