Ciência da Computação

Eu tenho lido sobre PHP e muitos autores mencionam erros semânticos e lógicos separadamente. Como exemplo de erro semântico, eles fornecem uma função chamada com número incorreto de parâmetros: isso não será capturado pelo analisador, mas gerará um erro quando executado. No entanto, em linguagens como C ++, isso será …

7 terminology  programming-languages  compilers  program-correctness 

Enquanto eu examinava o material sobre a abordagem gananciosa, soube que um conhecimento sobre matróides (greedoids) me ajudaria a abordar o problema adequadamente. Depois de ler sobre os matróides, entendi o que são os matróides. Mas como você usa o conceito de um matróide para resolver um determinado problema de …

7 algorithms  graph-theory  greedy-algorithms  matroids 

Estou usando o livro Introdução à Ciência da Computação, de John Zelle, e no final do Capítulo 3 (Computando com números), me pedem para encontrar o enésimo termo de uma sequência de Fibonacci, presumivelmente usando um loop for definitivo, como nenhuma outra decisão estrutura foi introduzida ainda. Isso é possível? …

7 algorithms  imperative-programming 

Eu defino um CNF longo para conter pelo menos cláusulas, onde é o número de suas variáveis. Deixe é uma fórmula CNF longa e satisfatória .2n22n22^\frac{n}{2}nnnLong-SAT = { ϕ : ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Eu gostaria de saber por que . Primeiro, pensei que fosse pois eu posso reduzir o tempo polinomial …

7 complexity-theory  np-complete  reductions  satisfiability  polynomial-time 

Fiz essa pergunta em math.stackexchange , mas fui redirecionado aqui. Minha pergunta é: se existe alguma relação histórica entre os campos dos sistemas dinâmicos (e campos relacionados, como controle ótimo) e a ciência da computação (teórica). A razão pela qual faço essa pergunta é que vários grandes periódicos antigos, agora …

7 history 

Eu estou procurando um algoritmo, que dado um gráfico GGG e um número natural ttt, determina se GGG é ttt-transitivo . Também estou interessado em saber se esse problema está em P, NP, NPC ou em alguns outros fatos interessantes sobre sua classe de complexidade.

7 algorithms  graph-theory  graphs 

Dado um cacto , queremos ponderar suas bordas de tal maneira que Para cada vértice, a soma dos pesos das arestas incidentes no vértice não passa de 1. A soma de todos os pesos das arestas é maximizada. Claramente, a resposta não passa de para vértices ( que é a …

7 algorithms  graph-theory  greedy-algorithms 

Estou escrevendo uma pequena função para alterar um gráfico de uma certa maneira e queria saber se existe um nome formal para a operação. A operação utiliza duas arestas distintas, injeta um novo nó entre os nós existentes de cada aresta e adiciona uma aresta entre os dois novos nós. …

7 graph-theory  terminology  combinatorics 

Como o título diz, alguém encontrou um algoritmo de tempo polinomial para verificar se dois gráficos com ciclo hamiltoniano são isomórficos? Esse problema está completo?

7 complexity-theory  graph-theory  time-complexity 

Dado um conjunto SSS de pontos p1 1, . . ,p2p1 1,..,p2p_1,..,p_2 forneça o algoritmo mais eficiente para determinar se quaisquer 3 pontos do conjunto são colineares. O problema é que comecei com a definição geral, mas não posso continuar resolvendo o problema. O que podemos dizer sobre pontos colineares …

7 algorithms  computational-geometry 

Muitas áreas do mundo sofrem conflitos entre dois grupos (geralmente étnicos ou religiosos). Para o propósito desta pergunta, suponho que a maioria das pessoas de ambos os lados queira viver em paz, mas há poucos extremistas que incitam ao ódio e à violência. O objetivo desta pergunta é encontrar uma …

7 reference-request  game-theory  voting 

Os slides do meu curso em arquitetura de software sugerem que esses são termos separados, mas não consigo encontrar a diferença. Todos eles não estão apenas traduzindo interfaces?

7 terminology  software-engineering 

Eu estava lendo Linux Kernel Development de Robert Love, onde me deparei com isso O Linux adota uma abordagem interessante ao suporte a threads: não diferencia entre threads e processos normais. Para o kernel, todos os processos são iguais - alguns simplesmente compartilham recursos. Eu não sei muito sobre sistemas …

7 operating-systems  process-scheduling  threads 

Este é um exemplo em minhas anotações de aula. Esta função possui complexidade de tempoO(nlogn)O(nlog⁡n)O(n \log n)? Como o pior caso é a função entra em elseramificação e 2 loops aninhados com complexidade de tempo delognlog⁡n\log n e nnn, então é O(nlogn)O(nlog⁡n)O(n \log n). Estou certo? int j = 3; …

7 complexity-theory  time-complexity  algorithm-analysis  runtime-analysis 

Tenho um jogo que estou construindo ai ai pois tem 2 jogadores fazendo movimentos simultâneos. Neste jogo, há exatamente um movimento em que, se os dois fazem ao mesmo tempo, o resultado é diferente do que se tivessem feito separadamente (todos os outros movimentos são bem independentes). Enfim, estou tentando …

7 algorithms  artificial-intelligence  search-algorithms  game-theory