Authors: Konagaya, Matsuo, Otachi, Yota, Uehara, Ryuhei
Subject Terms: sugbraph isomorphism, graph class, polynomial time algorithm, NP-complenetess
File Description: application/pdf
Relation: http://hdl.handle.net/10119/15059
Availability: http://hdl.handle.net/10119/15059
Authors: Chun, Jinhee, Horiyama, Takashi, Ito, Takehiro, Kaothanthong, Natsuda, Ono, Hirotaka, Otachi, Yota, Tokuyama, Takeshi, Uehara, Ryuhei, Uno, Takeaki
Subject Terms: pixel grid, image segmentation, polynomial time algorithm, approximation algorithm
File Description: application/pdf
Relation: http://hdl.handle.net/10119/13779
Availability: http://hdl.handle.net/10119/13779
Authors: 土佐, 尚之
Contributors: とさ, なおゆき
Subject Terms: 限定算術, 多項式時間計算可能関数, Godel Dialectica interpretation, Kreisel realizability, Kleene realizability, bounded arithmetic, polynomial time computable fun
File Description: application/pdf
Relation: http://hdl.handle.net/10119/1456
Availability: http://hdl.handle.net/10119/1456
Authors: Fox-Epstein, Eli, Hoang, Duc A., Otachi, Yota, Uehara, Ryuhei
Subject Terms: independent set, reconfiguration problem, sliding token, bipartite permutation graph, polynomial time algorithm
File Description: application/pdf
Relation: http://hdl.handle.net/10119/13805
Availability: http://hdl.handle.net/10119/13805
Authors: Yamanaka, Katsuhisa, Horiyama, Takashi, Kirkpatrick, David, Otachi, Yota, Saitoh, Toshiki, Uehara, Ryuhei, Uno, Yushi
Subject Terms: reconfiguration problem, swapping colored token, graph class, NP-completeness, polynomial tiem algorithm
File Description: application/pdf
Relation: http://hdl.handle.net/10119/13768
Availability: http://hdl.handle.net/10119/13768
Authors: Tung, Vu Xuan
Subject Terms: Polynomial Constraints, Interval Arithemic, Testing, abstract DPLL
File Description: application/pdf
Relation: http://hdl.handle.net/10119/12666
Availability: http://hdl.handle.net/10119/12666
Subject Terms: instant insanity, NP-completeness, polynomial time algorithm
File Description: application/pdf
Relation: http://hdl.handle.net/10119/12205
Availability: http://hdl.handle.net/10119/12205
Authors: Kiyomi, Masashi, Saitoh, Toshiki, Uehara, Ryuhei
File Description: application/pdf
Relation: http://hdl.handle.net/10119/11474
Availability: http://hdl.handle.net/10119/11474
Authors: Kobayashi, Koichi, Hiraishi, Kunihiko
Subject Terms: optimal control, polynomial optimization, probabilistic Boolean networks, systems biology
File Description: application/pdf
Relation: http://hdl.handle.net/10119/11470
Availability: http://hdl.handle.net/10119/11470
Authors: To, Van Khanh
Subject Terms: interval arithmetic, affine arithmetic, SAT Modulo Theories - SMT, polynomial constraints, testing, abstract DPLL
File Description: application/pdf
Relation: http://hdl.handle.net/10119/11445
Availability: http://hdl.handle.net/10119/11445
Authors: To, Van Khanh, Ogawa, Mizuhito
Subject Terms: interval arithmetic, affine arithmetic, SMT, polynomial constraints, testing
File Description: application/pdf
Relation: http://hdl.handle.net/10119/11349
Availability: http://hdl.handle.net/10119/11349
Authors: 福井, 宏行
Contributors: ふくい, ひろゆき
Subject Terms: 計算複雑性, Computational complexity, Flood Filling Game, グラフ彩色, Graph coloring, NP完全, NP-complete, 多項式時間, Polynomial time
File Description: application/pdf
Relation: http://hdl.handle.net/10119/11317
Availability: http://hdl.handle.net/10119/11317
Subject Terms: Robinson-Foulds distance, phylogenetic tree, phylogenetic network, polynomial time algorithm
File Description: application/pdf
Relation: http://hdl.handle.net/10119/9859
Availability: http://hdl.handle.net/10119/9859
Authors: Ito, Hisashige, Miyaji, Atsuko, Omote, Kazumasa
Subject Terms: Wireless Sensor Networks, Random Key Pre-distribution, Polynomial, Self-healing
File Description: application/pdf
Relation: http://hdl.handle.net/10119/9852
Availability: http://hdl.handle.net/10119/9852
Authors: 飯田, 達朗
Contributors: いいだ, たつろう
Subject Terms: センサネットワーク, 無線, 自己治癒, 鍵共有, 多項式, Wireless Sensor Networks, Pairwise key, Polynomial, Forward Secrecy, Backward Secrecy, Self-Healing
Relation: http://hdl.handle.net/10119/9647
Availability: http://hdl.handle.net/10119/9647
Authors: Aronov, Boris, Asano, Tetsuo, Funke, Stefan
Subject Terms: Computational geometry, constrained Delaunay triangulation, polynomial-time algorithm, Steiner point, Voronoi diagram
File Description: application/pdf
Relation: http://hdl.handle.net/10119/9518
Availability: http://hdl.handle.net/10119/9518
Authors: Hirokawa, Nao, Middeldorp, Aart
Subject Terms: Term rewriting, Termination, Automation, Dependency pair method, Polynomial interpretations
File Description: application/pdf
Relation: http://hdl.handle.net/10119/9044
Availability: http://hdl.handle.net/10119/9044
Authors: Okamoto, Yoshio, Uno, Takeaki, Uehara, Ryuhei
Subject Terms: Chordal graph, counting, enumeration, independent set, NP-completeness, #P-completeness, polynomial time algorithm
File Description: application/pdf
Relation: http://hdl.handle.net/10119/7872
Availability: http://hdl.handle.net/10119/7872
Authors: Zhang, Yuanyuan, Sun, Wei, Inoguchi, Yasushi
Subject Terms: Grid, task, running time prediction, Polynomial fitting, pattern
File Description: application/pdf
Relation: http://hdl.handle.net/10119/7868
Availability: http://hdl.handle.net/10119/7868
Authors: 松山, 大輔
Contributors: まつやま, だいすけ
Subject Terms: Subrecursion, Grzegorczyk hierarchy, Implicit computational complexity, Complexity classes, Polynomial-time functions, Logtime hierarchy, Function algebra
File Description: application/pdf
Relation: http://hdl.handle.net/10119/16448
Availability: http://hdl.handle.net/10119/16448