検索結果 2 件
デジタル記事
インターネットで読める全国の図書館
- 要約等The refutation tree problem for a formal graph system (FGS) is to compute a refutation tree which represents the logical structure of a graph generated by the FGS. We presen......GSs. We give a polynomial-time algorithm solving the refutation tree problem for simple FGSs. For sizebounded si......ing undirected trees of constantly......we show that a refutation tree of a graph definable by the FGS can be com...... indicate that the refutation tree problem for bounded simple FGSs is in NC^...
- 関連情報... Bulletin of informatics and cybernetics || 26(1...
検索結果は以上です。