Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Faça o download
Acesso mais rápido do que o navegador!
 

Problema de isomorfismo de grafos

Índice Problema de isomorfismo de grafos

O problema de isomorfismo de grafos é um problema computacional para determinar se dois grafos finitos são isomórficos.

62 relações: Associatividade, Automorfismo, Automorfismo de grafos, Autovalores e autovetores, Álgebra sobre um corpo, Árvore (grafo), Banco de dados químicos, Caminho euleriano, Circuito elétrico, Classe de complexidade, Coloração de grafos, Complexidade computacional, Composto químico, Comutatividade, Conectividade (teoria dos grafos), Distância (teoria dos grafos), Estrutura de interpretação (lógica), Género (matemática), Grafo aleatório, Grafo bipartido, Grafo completo, Grafo fortemente regular, Grafo nulo, Grafo orientado, Grafo planar, Grafo regular, Grafos acíclicos dirigidos, Gramática livre de contexto, Grau (teoria dos grafos), Grupo abeliano, Hierarquia polinomial, Hipergrafo, Identificador Químico Internacional, Isomorfismo de grafos, Journal of the ACM, László Babai, LSPACE, Manuel Blum, Máquina de estados finita, Máquina de Turing não determinística, Máquina oráculo, Mineração de dados, Multigrafo, NC (complexidade), Nilpotente, NP (complexidade), NP-completo, NP-Intermediário, P (complexidade), Problema computacional, ..., Problema do clique, Problema do isomorfismo de subgrafos, Química matemática, Quimioinformática, Redução em tempo polinomial, Relação de equivalência, Semigrupo, SMILES, Software de projeto de circuitos integrados, Substância, Teoria dos grafos, ZPP. Expandir índice (12 mais) »

Associatividade

Associatividade, em propriedade binária permite que expressões do tipo r s t possam ser escritas sem ambiguidade, ou seja, uma expressão r s t dá o mesmo resultado caso a operação que seja, em primeiro lugar, computada seja r s ou s t.G. A. Miller, What is Group Theory?, publicado em Popular Science, edição de fevereiro de 1904, p.371 A associatividade é uma das três propriedades que definem um grupo, as demais sendo a lei do cancelamento (ou seja, se r s.

Novo!!: Problema de isomorfismo de grafos e Associatividade · Veja mais »

Automorfismo

Na matemática, um automorfismo é um isomorfismo de um objeto matemático nele mesmo.

Novo!!: Problema de isomorfismo de grafos e Automorfismo · Veja mais »

Automorfismo de grafos

No campo da matemática da teoria dos grafos, um automorfismo de um grafo é uma forma de simetria em que o grafo é mapeado em si, preservando a conectividade vértice-aresta.

Novo!!: Problema de isomorfismo de grafos e Automorfismo de grafos · Veja mais »

Autovalores e autovetores

Em álgebra linear, um escalar λ diz-se um valor próprio,Callioli, Domingues & Costa, p. 258 autovalorLeon, p. 212 ou valor característico de um operador linear A: V\rightarrow V se existir um vetor x diferente de zero tal que A\mathbf.

Novo!!: Problema de isomorfismo de grafos e Autovalores e autovetores · Veja mais »

Álgebra sobre um corpo

Uma álgebra sobre um corpo é um espaço vetorial com uma operação binária de multiplicação de vetores, que tem a propriedade distributiva sobre a soma de vetores e associativa quando faz sentido.

Novo!!: Problema de isomorfismo de grafos e Álgebra sobre um corpo · Veja mais »

Árvore (grafo)

Na teoria dos grafos, uma árvore é um grafo conexo (existe caminho entre quaisquer dois de seus vértices) e acíclico (não possui ciclos).

Novo!!: Problema de isomorfismo de grafos e Árvore (grafo) · Veja mais »

Banco de dados químicos

Um banco de dados químicos ou base de dados químicos é um banco de dados especificamente projetado para armazenar informação química.

Novo!!: Problema de isomorfismo de grafos e Banco de dados químicos · Veja mais »

Caminho euleriano

pontes de Königsberg. Este grafo não é Euleriano, portanto, uma solução não existe. Cada vértice deste grafo tem um grau par,portanto este é um grafo Euleriano. Seguindo as arestas em ordem alfabética obtém-se um circuito/ciclo Euleriano. Um Caminho Euleriano é um caminho em um grafo que visita toda aresta exatamente uma vez.

Novo!!: Problema de isomorfismo de grafos e Caminho euleriano · Veja mais »

Circuito elétrico

Um circuito elétrico simples, constituído de uma fonte de tensão e de um resistor. Um circuito elétrico é a ligação de elementos elétricos, tais como resistores, indutores, capacitores, diodos, linhas de transmissão, fontes de tensão, fontes de corrente e interruptores, de modo que formem pelo menos um caminho fechado para a corrente elétrica.

Novo!!: Problema de isomorfismo de grafos e Circuito elétrico · Veja mais »

Classe de complexidade

Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.

Novo!!: Problema de isomorfismo de grafos e Classe de complexidade · Veja mais »

Coloração de grafos

Em teoria dos grafos, coloração de grafos é um caso especial de rotulagem de grafos; é uma atribuição de rótulos tradicionalmente chamados "cores" a elementos de um grafo sujeita a certas restrições.

Novo!!: Problema de isomorfismo de grafos e Coloração de grafos · Veja mais »

Complexidade computacional

A teoria da complexidade computacional é um ramo da teoria da computação em ciência da computação teórica e matemática que se concentra em classificar problemas computacionais de acordo com sua dificuldade inerente, e relacionar essas classes entre si.

Novo!!: Problema de isomorfismo de grafos e Complexidade computacional · Veja mais »

Composto químico

Produtos Químicos. Um composto químico é uma substância química constituída por moléculas ou cristais de dois ou mais átomos ou íons de elementos diferentes que se ligam entre si.

Novo!!: Problema de isomorfismo de grafos e Composto químico · Veja mais »

Comutatividade

Comutatividade é uma propriedade de operações binárias, ou de ordem mais alta, em que a ordem dos operandos não altera o resultado final.

Novo!!: Problema de isomorfismo de grafos e Comutatividade · Veja mais »

Conectividade (teoria dos grafos)

Na matemática e na ciência da computação, conectividade é um dos conceitos básicos da teoria dos grafos: que fala sobre o número minimo de elementos (vértices ou arestas) que precisam ser removidos para desconectar os vértices restantes uns dos outros.

Novo!!: Problema de isomorfismo de grafos e Conectividade (teoria dos grafos) · Veja mais »

Distância (teoria dos grafos)

No grafo não orientado acima a distância ''d(1, 3)'' entre os vértices 1 e 3 é '''2'''. A distância ''d(1, 7)'' entre os vértices 1 e 7 é '''3'''. No campo da matemática da teoria dos grafos, a distância entre dois vértices em um grafo é o número de arestas em um caminho mínimo conectando eles.

Novo!!: Problema de isomorfismo de grafos e Distância (teoria dos grafos) · Veja mais »

Estrutura de interpretação (lógica)

Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.

Novo!!: Problema de isomorfismo de grafos e Estrutura de interpretação (lógica) · Veja mais »

Género (matemática)

Em topologia, o género de uma superfície é o número de buracos desta.

Novo!!: Problema de isomorfismo de grafos e Género (matemática) · Veja mais »

Grafo aleatório

Na matemática, o grafo aleatório é um grafo que foi gerado por um processo aleatório.

Novo!!: Problema de isomorfismo de grafos e Grafo aleatório · Veja mais »

Grafo bipartido

No campo da matemática da teoria dos grafos, um grafo bipartido ou bigrafo é um grafo cujos vértices podem ser divididos em dois conjuntos disjuntos U e V tais que toda aresta conecta um vértice em U a um vértice em V; ou seja, U e V são conjuntos independentes.

Novo!!: Problema de isomorfismo de grafos e Grafo bipartido · Veja mais »

Grafo completo

Um grafo completo é um grafo simples em que todo vértice é adjacente a todos os outros vértices.

Novo!!: Problema de isomorfismo de grafos e Grafo completo · Veja mais »

Grafo fortemente regular

Na teoria dos grafos, uma disciplina dentro da matemática, um grafo fortemente regular é definido como se segue.

Novo!!: Problema de isomorfismo de grafos e Grafo fortemente regular · Veja mais »

Grafo nulo

No campo da matemática da teoria dos grafos, o grafo nulo ou o grafo vazio é o grafo sem arestas.

Novo!!: Problema de isomorfismo de grafos e Grafo nulo · Veja mais »

Grafo orientado

Um grafo orientado (direcionado). Um grafo orientado, grafo dirigido, grafo direcionado ou digrafo é um par G.

Novo!!: Problema de isomorfismo de grafos e Grafo orientado · Veja mais »

Grafo planar

Grafo plano ''K''4 Em Teoria dos Grafos, um grafo planar é um grafo que pode ser imerso no plano de tal forma que suas arestas não se cruzem, esta é uma idealização abstrata de um grafo plano, um grafo plano é um grafo planar que foi desenhado no plano sem o cruzamento de arestas.

Novo!!: Problema de isomorfismo de grafos e Grafo planar · Veja mais »

Grafo regular

Em Teoria dos grafos, um grafo regular é um grafo onde cada vértice tem o mesmo número de adjacências, i.e. cada vértice tem o mesmo grau ou valência.

Novo!!: Problema de isomorfismo de grafos e Grafo regular · Veja mais »

Grafos acíclicos dirigidos

Em matemática, um grafo acíclico dirigido, (em inglês: directed acyclic graph, ou simplesmente um dag ou DAG), é um grafo dirigido sem ciclo; isto é, para qualquer vértice v, não há nenhuma ligação dirigida começando e acabando em v. Estes grafos aparecem em modelos onde não faz sentido que um vértice tenha uma ligação com si próprio.

Novo!!: Problema de isomorfismo de grafos e Grafos acíclicos dirigidos · Veja mais »

Gramática livre de contexto

A gramática livre de contexto (GLC), em teoria de linguagem formal, é uma gramática formal onde todas as regras de produções são da forma A\ \to\ \alpha A é um símbolo não terminal, e \alpha é uma cadeia de terminal e/ou não terminais (\alpha pode ser vazia). Uma linguagem formal é considerada “livre do contexto” quando suas regras de produções podem ser aplicadas independentemente do contexto do simbolo não terminal.

Novo!!: Problema de isomorfismo de grafos e Gramática livre de contexto · Veja mais »

Grau (teoria dos grafos)

Um grafo com vértices rotulados por grau Na teoria dos grafos, o grau (ou valência) de um vértice de um grafo é o número de arestas incidentes para com o vértice, com os laços contados duas vezes.

Novo!!: Problema de isomorfismo de grafos e Grau (teoria dos grafos) · Veja mais »

Grupo abeliano

Em álgebra abstrata, um grupo abeliano, chamado também de grupo comutativo, é um grupo (G,*) em que a*b.

Novo!!: Problema de isomorfismo de grafos e Grupo abeliano · Veja mais »

Hierarquia polinomial

No ramo da Complexidade computacional a hierarquia polinomial é a hierarquia das Classes de complexidade que generaliza as classes P, NP e Co-NP para Máquinas oráculo.

Novo!!: Problema de isomorfismo de grafos e Hierarquia polinomial · Veja mais »

Hipergrafo

Em teoria dos grafos, um hipergrafo é uma generalização de um grafo, com suas arestas ligando quaisquer quantidades positivas de vértices.

Novo!!: Problema de isomorfismo de grafos e Hipergrafo · Veja mais »

Identificador Químico Internacional

O Identificador Químico Internacional da IUPAC (InChI) é um identificador textual para substâncias químicas, com o objetivo de estabelecer uma maneira padrão de descrever informações de moléculas e facilitar sua pesquisa.

Novo!!: Problema de isomorfismo de grafos e Identificador Químico Internacional · Veja mais »

Isomorfismo de grafos

Em teoria dos grafos, um isomorfismo dos grafos G e H é uma bijeção entre os conjuntos de vértices de G e H de tal forma que quaisquer dois vértices u e v de G são adjacentes em G se e somente se ƒ(u) e ƒ(v) são adjacentes em H. Este tipo de bijeção é comumente chamado de "bijeção com preservação de arestas", de acordo com a noção geral de isomorfismo sendo uma bijeção de preservação-de-estrutura.

Novo!!: Problema de isomorfismo de grafos e Isomorfismo de grafos · Veja mais »

Journal of the ACM

O Journal of the ACM (JACM) é a revista científica carro-chefe da Association for Computing Machinery (ACM).

Novo!!: Problema de isomorfismo de grafos e Journal of the ACM · Veja mais »

László Babai

László (Laci) Babai (Budapeste) é um matemático e cientista da computação húngaro.

Novo!!: Problema de isomorfismo de grafos e László Babai · Veja mais »

LSPACE

Em teoria da complexidade, L (também conhecido como LSPACE ou DLOGSPACE) é a classe de complexidade que contém problemas de decisão os quais podem ser resolvidos por uma máquina de Turing utilizando uma quantidade de espaço de memória logarítmico.

Novo!!: Problema de isomorfismo de grafos e LSPACE · Veja mais »

Manuel Blum

Manuel Blum (Caracas, 26 de abril de 1938) é um informático venezuelano.

Novo!!: Problema de isomorfismo de grafos e Manuel Blum · Veja mais »

Máquina de estados finita

Uma máquina de estados finita (FSM - do inglês Finite State Machine) ou autômato finito é um modelo matemático usado para representar programas de computadores ou circuitos lógicos.

Novo!!: Problema de isomorfismo de grafos e Máquina de estados finita · Veja mais »

Máquina de Turing não determinística

Máquina de Turing não-determinística em ciência da computação é uma máquina de Turing cujo mecanismo de controle atua como um autômato finito não-determinístico.

Novo!!: Problema de isomorfismo de grafos e Máquina de Turing não determinística · Veja mais »

Máquina oráculo

Em teoria da computação, uma máquina oráculo é uma máquina abstrata usada para estudar problemas de decisão.

Novo!!: Problema de isomorfismo de grafos e Máquina oráculo · Veja mais »

Mineração de dados

(também conhecida pelo termo inglês data mining) é o processo de explorar dados à procura de padrões consistentes, como regras de associação ou sequências temporais, para detectar relacionamentos sistemáticos entre variáveis, detectando assim novos subconjuntos de dados.

Novo!!: Problema de isomorfismo de grafos e Mineração de dados · Veja mais »

Multigrafo

Multigrafo com laços (azul) e arestas múltiplas (vermelho) Multigrafo ou pseudografo é um grafo não dirigido que pode possuir arestas múltiplas (ou paralelas), ou seja, arestas com mesmos nós finais.

Novo!!: Problema de isomorfismo de grafos e Multigrafo · Veja mais »

NC (complexidade)

Na teoria da complexidade, a classe NC (para "Classe de Nick") é o conjunto de Problema de decisão decidíveis em tempo polilogarítmico em um computador paralelo com um número polinomial de processadores.

Novo!!: Problema de isomorfismo de grafos e NC (complexidade) · Veja mais »

Nilpotente

Em matemática, um elemento x de um anel é nilpotente quando existe algum número natural n tal que x^n.

Novo!!: Problema de isomorfismo de grafos e Nilpotente · Veja mais »

NP (complexidade)

Na teoria da complexidade computacional, NP é o acrônimo em inglês para Tempo polinomial não determinístico (Non-Deterministic Polynomial time) que denota o conjunto de problemas que são decidíveis em tempo polinomial por uma máquina de Turing não-determinística.

Novo!!: Problema de isomorfismo de grafos e NP (complexidade) · Veja mais »

NP-completo

Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.

Novo!!: Problema de isomorfismo de grafos e NP-completo · Veja mais »

NP-Intermediário

Em complexidade computacional, problemas que são da classe de complexidade NP mas não não estão contido na classe P nem na classe NP-Completo são chamados NP-Intermediários, e a classe de tais problemas é chamada de NPI.

Novo!!: Problema de isomorfismo de grafos e NP-Intermediário · Veja mais »

P (complexidade)

Na teoria da complexidade computacional, P é o acrônimo em inglês para Tempo polinomial determinístico (Deterministic Polynomial time) que denota o conjunto de problemas que podem ser resolvidos em tempo polinomial por uma máquina de Turing determinística.

Novo!!: Problema de isomorfismo de grafos e P (complexidade) · Veja mais »

Problema computacional

Na ciência da teoria da computação, um problema computacional é um objeto matemático que representa um coleção de questões que computadores talvez queiram resolver.

Novo!!: Problema de isomorfismo de grafos e Problema computacional · Veja mais »

Problema do clique

Em ciência da computação, o problema do clique refere-se a qualquer problema que possui como objetivo encontrar subgrafos completos ("cliques") em um grafo.

Novo!!: Problema de isomorfismo de grafos e Problema do clique · Veja mais »

Problema do isomorfismo de subgrafos

Em teoria da complexidade, o problema do isomorfismo de subgrafos é um problema de decisão que se sabe ser NP-completo.

Novo!!: Problema de isomorfismo de grafos e Problema do isomorfismo de subgrafos · Veja mais »

Química matemática

Química matemática é a área de pesquisa engajada em novas aplicações da matemática à química.

Novo!!: Problema de isomorfismo de grafos e Química matemática · Veja mais »

Quimioinformática

Quimioinformática é uma área interdisciplinar que envolve a Química e a Informática e consiste no uso de técnicas computacionais aplicadas a uma gama de problemas no campo da Química.

Novo!!: Problema de isomorfismo de grafos e Quimioinformática · Veja mais »

Redução em tempo polinomial

Na teoria da complexidade computacional uma redução em tempo polinomial é uma redução que é computável por uma máquina de turing determinística em tempo polinomial.

Novo!!: Problema de isomorfismo de grafos e Redução em tempo polinomial · Veja mais »

Relação de equivalência

As 52 relações de equivalência em um conjunto de 5 elementos representadas por matrizes lógicas 5 × 5 (campos coloridos, incluindo aqueles em cinza claro, representam os uns; campos brancos por zeros.) Os índices de linha e coluna de células não brancas são os elementos relacionados, enquanto as cores diferentes, exceto cinza claro, indicam as classes de equivalência (cada célula cinza claro é sua própria classe de equivalência). Na matemática, uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva.

Novo!!: Problema de isomorfismo de grafos e Relação de equivalência · Veja mais »

Semigrupo

Um semigrupo pode ser definido de 2 maneiras completamente equivalentes.

Novo!!: Problema de isomorfismo de grafos e Semigrupo · Veja mais »

SMILES

SMILES, do inglês simplified molecular-input line-entry system, é uma forma de representar estruturas químicas usando caracteres ASCII.

Novo!!: Problema de isomorfismo de grafos e SMILES · Veja mais »

Software de projeto de circuitos integrados

Um software de projeto de circuitos integrados (do inglês Electronic design automation, ou simplesmente EDA) refere-se a uma categoria de ferramentas focadas no projeto, concepção e produção de sistemas eletrônicos, abrangendo desde o projeto de circuitos integrados até o desenho de placas de circuito impresso.

Novo!!: Problema de isomorfismo de grafos e Software de projeto de circuitos integrados · Veja mais »

Substância

Água e vapor de água são duas fases do mesmo produto químico (''"substância"''): diferem em seu estado de agregação (líquido e gás, respectivamente). Substância ou substância pura, em química, é uma forma constante de matéria caracterizada por suas entidades específicas, como átomos de elementos tais em proporções próprias e moléculas.

Novo!!: Problema de isomorfismo de grafos e Substância · Veja mais »

Teoria dos grafos

Grafo com quatro vértices e 6 arestas. É um grafo completo, conexo e planar. A teoria dos grafos ou de grafos é um ramo da matemática que estuda as relações entre os objetos de um determinado conjunto.

Novo!!: Problema de isomorfismo de grafos e Teoria dos grafos · Veja mais »

ZPP

Na Teoria da complexidade computacional, ZPP (inglês: Zero-error Probabilistic Polinomial time, Probalístico de tempo polinominal sem erros) é a classe complexa de problemas em que uma Máquina de Turing existe com estas propriedades.

Novo!!: Problema de isomorfismo de grafos e ZPP · Veja mais »

Redireciona aqui:

Problema do isomorfismo de grafos.

CessanteEntrada
Ei! Agora estamos em Facebook! »