Scienza del computer

5

Stavo leggendo la domanda Coerenza e completezza implicano solidità? e la prima affermazione in esso dice: Capisco che la solidità implica coerenza. Di cui ero piuttosto perplesso perché pensavo che la solidità fosse un'affermazione più debole della coerenza (cioè ho pensato che i sistemi coerenti dovevano essere sani ma immagino …

12 terminology logic first-order-logic propositional-logic incompleteness

1

Imballare una busta di regali è più facile per Rupert che per Babbo Natale?

Oppure: abbiamo bisogno di Rupert per ottenere dei regali? A parte i problemi di routing , Babbo Natale affronta il seguente problema (molte, molte volte): Dato un sacchetto con capacità¹ e un set di regali , ciascuno con dimensione , vuole rendere felici i bambini . Sa da tutte le …

12 algorithms complexity-theory optimization packing

2

Che cos'è una "contraddizione" nella logica costruttiva?

In Basi pratiche per i linguaggi di programmazione , afferma Robert Harper Se una proposizione è vera significa averne una prova, cosa significa che una proposizione è falsa? Significa che ne abbiamo una confutazione , dimostrando che non può essere provato. Cioè, una proposizione è falsa se possiamo dimostrare che …

12 logic

2

Provare tautologia con coq

Attualmente devo imparare Coq e non so come affrontare un or: Ad esempio, per quanto sia semplice, non vedo come provare: Theorem T0: x \/ ~x. Lo apprezzerei davvero, se qualcuno potesse aiutarmi. Per riferimento utilizzo questo cheat sheet . Anche un esempio di una prova che ho in mente: …

12 logic coq

4

PRNG per generare esattamente numeri con n bit impostati

Attualmente sto scrivendo del codice per generare dati binari. Ho specificamente bisogno di generare numeri a 64 bit con un dato numero di bit impostati; più precisamente, la procedura dovrebbe richiedere alcuni 0<n<640<n<640 < n < 64 e restituire un numero pseudo-casuale a 64 bit con esattamente nnn bit impostati …

12 algorithms information-theory coding-theory pseudo-random-generators

5

Numeri di congetture di Goldbach e castori occupati?

Background: sono un vero laico in informatica. Stavo leggendo i numeri di Busy Beaver qui e ho trovato il seguente passaggio: L'umanità non può mai conoscere il valore di BB (6) per certo, figuriamoci quello di BB (7) o qualsiasi altro numero più alto nella sequenza. In effetti, già i …

12 turing-machines number-theory busy-beaver

3

Problemi congetturati ma non dimostrati facili

Abbiamo molti problemi, come la fattorizzazione, che sono fortemente congetturati, ma non provati, al di fuori di P. Ci sono domande con la proprietà opposta, vale a dire, che sono fortemente congetturati ma che non hanno dimostrato di essere all'interno di P?

12 complexity-theory polynomial-time

3

Ogni algoritmo automodificante può essere modellato da un algoritmo non automodificante?

Se abbiamo qualche programma informatico arbitrario che può modificare le sue istruzioni, è possibile simulare quel programma con un programma che non può modificare le sue istruzioni? Modificare: Sono nuovo di StackExchange, quindi non sono sicuro di poter fare una NUOVA domanda qui, ma qui va: Ok, quindi la prova …

12 computability computation-models turing-completeness church-turing-thesis

1

La differenza tra logica dinamica e logica temporale

Per trovare la differenza, ho appena incontrato le seguenti affermazioni sulla logica temporale in Wikipedia : un'altra variante della logica modale che condivide molte caratteristiche comuni con la logica dinamica, differisce da tutte le logiche sopra menzionate per essere quella che Pnueli ha definito una logica "endogena", mentre le altre …

12 logic linear-temporal-logic temporal-logic

1

Una RAM può calcolare il proprio numero Gödel?

È possibile ottenere il numero Gödel di una RAM rendendolo un elenco di comandi e trasformando questo elenco in un numero intero. Quindi, quello che pensavo fosse qualcosa del tipo "La RAM che avrebbe restituito il proprio numero Gödel (diciamo, ) avrebbe dovuto contenere l'informazione x , quindi l'intero sarebbe …

12 computability

2

Perché FACTOR è in Co-NP?

Sto avendo problemi a avvolgere la testa attorno ai problemi PRIME, COMPOSITE, FACTOR e al modo in cui sono correlati in termini di complessità. Capisco che PRIME ha dimostrato di essere in dal test di primalità di AKS e credo che questo funzioni anche per COMPOSITE.PPP Per quanto riguarda FATTORE, …

12 complexity-theory factoring

2

Questo caso speciale di un problema di programmazione è risolvibile in tempo lineare?

Alice, una studentessa, ha molti compiti a casa nelle prossime settimane. Ogni compito a casa la porta esattamente un giorno. Ogni articolo ha anche una scadenza e un impatto negativo sui suoi voti (ipotizza un numero reale, punti bonus solo assumendo la comparabilità), se non rispetta la scadenza. Scrivi una …

12 algorithms optimization randomized-algorithms network-flow scheduling

7

Come trovare l'elemento intermedio dell'elenco collegato in un passaggio?

Una delle domande più popolari delle strutture dati e dell'algoritmo, posta principalmente sull'intervista telefonica.

12 algorithms data-structures linked-lists

3

Lingue regolari che non possono essere espresse con solo 2 operazioni regex

Pensavo che tutte le lingue regolari potessero essere espresse con espressioni regolari (se una lingua è regolare, può essere espressa con regex), ma mi è stato detto che hai bisogno di tutte e tre le operazioni regolari (concatenazione, unione e stella) per questo tenere. Ad esempio, mi è stato detto …

12 formal-languages regular-languages regular-expressions kleene-star

1

Riempi i contenitori con coppie di palline

Un cestino viene chiamato pieno se contiene almeno palline. Il nostro obiettivo è riempire il maggior numero possibile di contenitori.kkk Nello scenario più semplice, ci vengono date palline e possiamo sistemarle arbitrariamente. In quel caso, ovviamente, il meglio che possiamo fare è raccogliere arbitrariamente i bidoni del e mettere palle …

12 combinatorics balls-and-bins