Scienza del computer

2

Dato un grafico bipartito cui ogni vertice è colorato di rosso o blu, sto cercando di minimizzare il numero di vertici blu usando la seguente operazione:G = ( A , B , E)G=(A,B,E)G = (A,B,E) Scegli un vertice invun'vav_aUNAA Capovolgi i colori di , il che significa che e tutti …

8 algorithms graphs

1

Ricerca nello spazio delle permutazioni

Mi vengono dati n oggetti e un insieme di n permutazioni di questi n oggetti (su n! Permutazioni totali). Esiste una vera permutazione sottostante, che so sia una tra le serie di n permutazioni, ma non so quale. Un oracolo tuttavia conosce la vera permutazione. Per trovare la vera permutazione, …

8 complexity-theory lower-bounds search-problem permutations

1

La tesi di Church-Turing si applica anche all'intelligenza artificiale?

Secondo la tesi di Church-Turing, è impossibile progettare un algoritmo per decidere il problema di arresto. La parola algoritmo in questo contesto include l'intelligenza artificiale o no, cioè la tesi di Church-Turing si applica anche all'intelligenza artificiale? È possibile progettare un sistema di intelligence in futuro per decidere questo problema …

8 computability artificial-intelligence halting-problem church-turing-thesis

2

Massimizza la distanza tra i nodi k in un grafico

Ho un grafico non ponderato non orientato e voglio selezionare nodi da tale che siano il più possibile accoppiati l'uno dall'altro, in termini di distanza geodetica . In altre parole, devono essere sparsi nel grafico il più possibile.solsolGKKksolsolG Let la lunghezza di un percorso più breve tra e in . …

8 algorithms graph-theory graphs

1

Creazione di nott controllati più grandi da porte a qubit singolo, Toffoli e CNOT, senza spazio di lavoro

L'esercizio 4.29 del calcolo quantistico e delle informazioni quantistiche di Nielsen e Chuang mi ha lasciato perplesso. Trova un circuito contenente Toffoli, CNOT e porte a qubit singolo che implementa un gate (per ), senza qubit di lavoro.O (n2)O(n2)O(n^2)Cn( X)Cn(X)C^n(X)n > 3n>3n > 3 Ho capito che questo non può …

8 quantum-computing circuits

2

Che cos'è esattamente il controllo simbolico dei modelli?

So che il Symbolic Model Checking è un attraversamento dello spazio degli stati basato su rappresentazioni di insiemi di stati e relazioni di transizione come formule come in CTL usando modelli come Kripke Model. Conosco la teoria. Ma trovo difficile capire l'applicazione reale. Dove si usa esattamente? Cosa fa esattamente …

8 formal-methods model-checking software-verification

2

Perché le fibre non possono utilizzare più processori?

Sembra che la distinzione tra fibre e fili sia che le fibre sono programmate in modo cooperativo, mentre i fili sono programmati preventivamente. Il punto dello scheduler sembra un modo per far funzionare una risorsa di processore altrimenti seriale in modo parallelo, "condividendo il tempo" della CPU. Tuttavia, su un …

8 parallel-computing threads multi-tasking

2

Come collegare la teoria e l'implementazione per i cicli while?

Sto lavorando sul mio piccolo linguaggio di programmazione a fini educativi e ho riscontrato un piccolo problema. Ci sono alcune soluzioni diverse per questo, ma tutte sembrano ineleganti - e da quello che capisco, inutili. Ma leggendo i libri che ho e le ricerche su Google, non riesco a trovare …

8 programming-languages loops language-design

1

Trovare un set indipendente massimo in parallelo

Su un grafico , eseguiamo il seguente processo:G(V,E)G(V,E)G(V,E) Inizialmente, tutti i nodi in sono colorati.VVV Mentre ci sono nodi non colorati in , ogni nodo non colorato effettua le seguenti operazioni: VVV Seleziona un numero reale casuale e lo invia a tutti i suoi vicini; Confronta il suo numero con …

8 algorithm-analysis graphs distributed-systems parallel-computing randomized-algorithms

5

Quali sono gli usi pratici delle ontologie?

Ho letto molti articoli e libri sulle ontologie e sto cercando di capire come vengono utilizzati in un vero progetto? Ad esempio, come l'ontologia di un robot calciatore può essere definita e utilizzata con un'architettura cognitiva per renderla intelligente? Ci sono relazioni ontologiche tra termini in quel dominio di conoscenza …

8 artificial-intelligence applied-theory knowledge-representation ontologies robotics

1

Cosa sappiamo di NP ∩ co-NP e della sua relazione con l'NPI?

Un TA è passato oggi per indagare su alcune cose su NP e co-NP. Siamo arrivati a un punto in cui anche io ero sconcertato: che aspetto ha un diagramma di Venn di P, NPI, NP e co-NP assumendo P ≠ NP (l'altro caso è noioso)? Sembra che ci siano …

8 complexity-theory reference-request complexity-classes np

5

è possibile ridurre al minimo gli automi pushdown?

è possibile ridurre al minimo gli automi pushdown? Se no, perché? È perché per minimizzare le classi di equivalenza devono avere un indice finito e non possiamo garantirlo per CFG?

8 computability automata pushdown-automata

1

Circuiti logici combinatori e teoria del calcolo

Sto cercando di collegare i circuiti logici combinatori (solo computer basati su porte logiche) con tutto ciò che ho appreso di recente in Teoria del calcolo. Mi chiedevo se i circuiti logici combinatori possano implementare calcoli allo stesso modo delle macchine a stati finiti. Sembrano radicalmente diversi: Le macchine a …

8 complexity-theory turing-machines computation-models circuits

2

Analisi dell'algoritmo del caso medio utilizzando il metodo di incomprimibilità di Kolmogorov

Si dice che il metodo di incomprimibilità semplifichi l'analisi degli algoritmi per il caso medio. Da quello che ho capito, questo è perché non è necessario calcolare tutte le possibili combinazioni di input per quell'algoritmo e quindi derivare una complessità media. Invece, una singola stringa incomprimibile viene presa come input. …

8 algorithm-analysis kolmogorov-complexity

3

È

Supponiamo che sia un problema decisionale decidibile.ΠΠ\Pi Fa implica è -Hard?Π∉ NPΠ∉NP\Pi\not \in NPΠΠ\PiNPNPNP Modifica: se assumiamo che esista allora abbiamo finito. Possiamo confutare il reclamo senza ipotesi sconosciute?Π ∈ c o NP∖ NPΠ∈coNP∖NP\Pi\in coNP\setminus NP

8 complexity-theory np-hard complexity-classes np