fork download
copy 
  1. listaArestas = list()
  2. listaNodos = list()
  3. listaClausulas = list()
  4.  
  5. def reducao():
  6.     leitura()
  7.     adicionaNodos()
  8.     criaGadgets()
  9.  
  10. def leitura():
  11. 	stringona = "x,y,!z"
  12. 	stringona = string.split('#')
  13.     for clau in stringona:
  14. 		clausula = clausula.split(',')
  15.         listaClausulas.append(clausula)
  16.  
  17. def adicionaNodos():
  18.     listaNodos.append("T")
  19.     listaNodos.append("F")
  20.     listaNodos.append("B")
  21.  
  22.     for clausula in listaClausulas:
  23.         for i in range(0, len(clausula)):
  24.             variavel = str(clausula[i])
  25.             variavel = variavel.replace('!','')
  26.             print(variavel)
  27.  
  28.             if variavel not in listaNodos:
  29.                 listaNodos.append(variavel)
  30.                 listaNodos.append('!'+variavel)
  31.                 listaArestas.append([variavel,"!" + variavel])
  32.                 listaArestas.append([variavel,"B"])
  33.                 listaArestas.append(["!" + variavel,"B"])
  34.  
  35. def criaGadgets():
  36.     k = 0
  37.     for clausula in listaClausulas:
  38.         listaNodos.append("G"+str(k))
  39.         listaArestas.append([clausula[0],"G"+str(k)])
  40.  
  41.         if len(clausula) > 1:
  42.             listaNodos.append("G"+str(k+1))
  43.             listaNodos.append("G"+str(k+2))
  44.             listaArestas.append([clausula[1],"G"+str(k+1)])
  45.             listaArestas.append(["G"+str(k),"G"+str(k+1)])
  46.             listaArestas.append(["G"+str(k),"G"+str(k+2)])
  47.             listaArestas.append(["G"+str(k+1),"G"+str(k+2)])
  48.  
  49.         if len(clausula) > 2:
  50.             listaNodos.append("G"+str(k+3))
  51.             listaNodos.append("G"+str(k+4))
  52.             listaNodos.append("G"+str(k+5))
  53.             listaArestas.append([clausula[2],"G"+str(k+4)])
  54.             listaArestas.append(["G"+str(k+2),"G"+str(k+3)])
  55.             listaArestas.append(["G"+str(k+3),"G"+str(k+4)])
  56.             listaArestas.append(["G"+str(k+3),"G"+str(k+5)])
  57.             listaArestas.append(["G"+str(k+4),"G"+str(k+5)])
  58.             listaArestas.append(["G"+str(k+5),"B"])
  59.             listaArestas.append(["G"+str(k+5),"F"])
  60.         k = k+1
  61.     print("Lista de Nodos")
  62.     print(listaNodos)
  63.     print('\n' + "Lista de Arestas")
  64.     print(listaArestas)
  65.  
  66. reducao()
Runtime error #stdin #stdout #stderr 0.02s 44632KB
comments (?)
stdin
copy 
Standard input is empty
stdout
copy 
Standard output is empty
stderr
copy 
Traceback (most recent call last):
  File "<builtin>/app_main.py", line 75, in run_toplevel
  File "<string>", line 13
    for clau in stringona:
                         ^
IndentationError: unindent does not match any outer indentation level
https://ideone.com/E4ugR2
language:
Python (PyPy 2.7.13)
created:
7 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!