Scienza del computer

Domande e risposte per studenti, ricercatori e professionisti dell'informatica

2
Come escogitare un algoritmo per disporre le finestre (ridimensionabili) sullo schermo in modo da coprire quanto più spazio possibile?
Vorrei scrivere un semplice programma che accetta una serie di finestre (larghezza + altezza) e la risoluzione dello schermo e genera una disposizione di quelle finestre sullo schermo in modo che le finestre occupino più spazio. Pertanto è possibile ridimensionare una finestra, mantenendo output size >= initial sizee le proporzioni. …
1
Supportare le strutture dati per la ricerca locale SAT
WalkSAT e GSAT sono algoritmi di ricerca locale ben noti e semplici per risolvere il problema di soddisfacibilità booleana. Lo pseudocodice per l'algoritmo GSAT viene copiato dalla domanda Implementazione dell'algoritmo GSAT - Come selezionare quale letterale capovolgere? e presentato di seguito. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 …
3
HALF CLIQUE - Problema completo NP
Vorrei iniziare osservando che si tratta di un problema di compiti a casa, si prega di fornire solo consigli e osservazioni correlate, NESSUN RISPOSTA DIRETTA per favore . Detto questo, ecco il problema che sto esaminando: Let MEZZA CLIQUE = { | è un grafico non orientato con un sottografo …
3
Percorso di metodi formali
Non è raro vedere gli studenti iniziare i loro dottorati con un background limitato in matematica e gli aspetti formali dell'informatica. Ovviamente sarà molto difficile per tali studenti diventare teorici informatici, ma sarebbe bene se potessero diventare esperti con l'uso di metodi formali e la lettura di documenti che contengono …
3
Le enormi unità di elaborazione parallela di oggi sono in grado di eseguire in modo efficiente gli automi cellulari?
Mi chiedo se le unità di calcolo massicciamente parallele fornite nelle schede grafiche al giorno d'oggi (una che è programmabile in OpenCL , per esempio) siano abbastanza buone per simulare in modo efficiente automi cellulari 1D (o forse automi cellulari 2D?). Se scegliamo qualsiasi griglia finita si adatterebbe alla memoria …
1
Rapporto di problemi decidibili
Considera i problemi di decisione dichiarati in un linguaggio formale "ragionevole". Diciamo formule nell'aritmetica di Peano di ordine superiore con una variabile libera come cornice di riferimento, ma sono ugualmente interessato ad altri modelli di calcolo: equazioni diottantine, problemi di parole derivanti dalla riscrittura delle regole usando le macchine di …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.