Skip to content
Snippets Groups Projects
Select Git revision
  • bfde071523ce1c183fd015b6b7551419c152cbd1
  • devel default
  • master
  • fo
  • jirka/typing
  • fo-base
  • mj/submit-images
  • jk/issue-96
  • jk/issue-196
  • honza/add-contestant
  • honza/mr7
  • honza/mrf
  • honza/mrd
  • honza/mra
  • honza/mr6
  • honza/submit-images
  • honza/kolo-vs-soutez
  • jh-stress-test-wip
  • shorten-schools
19 results

users.py

Blame
  • count_cdc.py 552 B
    #!/usr/bin/python
    
    import sys
    import os
    import json
    from graph_tools.misc import count_cdc_naive
    from sage.all import Graph
    from parmap import parmap
    
    def process(g6):
      g6 = g6.rstrip()
      G = Graph(g6)
      ret = count_cdc_naive(G)
      return json.dumps({
        "graph": g6,
        "cdc_count": ret[0],
        "n": G.num_verts(),
        "expected_cdc_lowerbound": ret[1],
        "is_ok": (ret[0] >= ret[1])
      })
    
    inp = [ l for l in sys.stdin ]
    
    nprocs = int(os.getenv("NPROCS", "0")) or None
    for ret in parmap(process, inp, nprocs=nprocs, in_order=False):
      print(ret)