
{"id":38,"date":"2015-03-30T17:12:00","date_gmt":"2015-03-30T08:12:00","guid":{"rendered":"http:\/\/art.ist.hokudai.ac.jp\/?page_id=38"},"modified":"2026-04-01T11:44:02","modified_gmt":"2026-04-01T02:44:02","slug":"%e7%a0%94%e7%a9%b6%e6%88%90%e6%9e%9c","status":"publish","type":"page","link":"https:\/\/art.ist.hokudai.ac.jp\/?page_id=38","title":{"rendered":"\u7814\u7a76\u6210\u679c"},"content":{"rendered":"<p><\/p>\n<h2>\u7814\u7a76\u6210\u679c<\/h2>\n<p>\u7814\u7a76\u5ba4\u306e\u5b66\u751f\u304c\u542b\u307e\u308c\u308b\u7814\u7a76\u6210\u679c\u306e\u307f\u3092\u8f09\u305b\u3066\u3044\u307e\u3059\u3002<\/p>\n<h3><strong>2025\u5e74\u5ea6<\/strong><\/h3>\n<h4><strong>\u3010\u67fb\u8aad\u4ed8\u8ad6\u6587\u8a8c\u3011<\/strong><\/h4>\n<p class=\"zfr3Q CDt4Ke \" dir=\"ltr\" role=\"presentation\"><span class=\"C9DxTc \">Takashi Horiyama,<\/span><span class=\"C9DxTc \">\u00a0<\/span><span class=\"C9DxTc \">Kazuhisa Seto<\/span><span class=\"C9DxTc \">, and Ryu Suzuki:<br \/>\n<\/span>The Complexity of Pre-assignment Problem for Unique Minimum Vertex Cover on Bipartite Graphs<br \/>\n<span class=\"C9DxTc \">Theory of Computing Systems, <\/span><span class=\"C9DxTc \">Vol. 69, No. 35, 2025.<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1007\/s00224-025-10249-4\">https:\/\/doi.org\/10.1007\/s00224-025-10249-4<\/a><\/span><\/p>\n<p dir=\"ltr\" role=\"presentation\"><strong>\u3010\u67fb\u8aad\u4ed8\u56fd\u969b\u4f1a\u8b70\u8ad6\u6587\u3011<\/strong><\/p>\n<p class=\"zfr3Q CDt4Ke \" dir=\"ltr\" role=\"presentation\"><span class=\"C9DxTc \">Takashi Horiyama,\u00a0<\/span><span class=\"C9DxTc \">Yuto Okura<\/span><span class=\"C9DxTc \">,\u00a0<\/span><span class=\"C9DxTc \">Kazuhisa Seto<\/span><span class=\"C9DxTc \">, and\u00a0<\/span><span class=\"C9DxTc \">Junichi Teruyama:<br \/>\n<\/span><span class=\"C9DxTc \">Exact Algorithms and Hardness Result for the Boolean Connectivity Problem of k-Horn Formulas<br \/>\n<\/span><span class=\"C9DxTc \">In Proceedings of <\/span><span class=\"C9DxTc \">t<\/span><span class=\"C9DxTc \">he 20th International Symposium on Parameterized and Exact Computation (IPEC 2025), LIPIcs\u00a0<\/span><span class=\"C9DxTc \">358<\/span><span class=\"C9DxTc \">, pages\u00a0<\/span><span class=\"C9DxTc \">25<\/span><span class=\"C9DxTc \">:1-<\/span><span class=\"C9DxTc \">25<\/span><span class=\"C9DxTc \">:1<\/span><span class=\"C9DxTc \">5<\/span><span class=\"C9DxTc \">,\u00a0<\/span><span class=\"C9DxTc \">September 2025 (W<\/span><span class=\"C9DxTc \">arsaw<\/span><span class=\"C9DxTc \">, Poland)<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.4230\/LIPIcs.IPEC.2025.25\">https:\/\/doi.org\/10.4230\/LIPIcs.IPEC.2025.25<\/a><\/span><\/p>\n<p class=\"zfr3Q CDt4Ke \" dir=\"ltr\" role=\"presentation\"><span class=\"C9DxTc \">Takashi Horiyama,\u00a0<\/span><span class=\"C9DxTc \">Fumiya Sakamoto<\/span><span class=\"C9DxTc \">,\u00a0<\/span><span class=\"C9DxTc \">Kazuhisa Seto<\/span><span class=\"C9DxTc \">, and Ryu Suzuki:<br \/>\n<\/span>Hardness of Pre-assignment Problem for Unique Minimum Vertex Cover on Planar Graphs with Maximum Degree 3<br \/>\n<span class=\"C9DxTc \">In Proceedings of <\/span><span class=\"C9DxTc \">the 25th International Symposium on Fundamentals of Computation Theory<\/span><span class=\"C9DxTc \">\u00a0 (<\/span><span class=\"C9DxTc \">FCT<\/span><span class=\"C9DxTc \">\u00a02025), LNCS\u00a0<\/span><span class=\"C9DxTc \">16106<\/span><span class=\"C9DxTc \">, pages\u00a0<\/span><span class=\"C9DxTc \">238<\/span><span class=\"C9DxTc \">&#8211;<\/span><span class=\"C9DxTc \">251<\/span><span class=\"C9DxTc \">,\u00a0<\/span><span class=\"C9DxTc \">September<\/span><span class=\"C9DxTc \">\u00a02025 (<\/span><span class=\"C9DxTc \">Wroc\u0142aw, Poland<\/span><span class=\"C9DxTc \">)<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1007\/978-3-032-04700-7_18\">https:\/\/doi.org\/10.1007\/978-3-032-04700-7_18<\/a><\/span><\/p>\n<p class=\"zfr3Q CDt4Ke \" dir=\"ltr\" role=\"presentation\"><span class=\"C9DxTc \">Shoon Mineyoshi,\u00a0<\/span><span class=\"C9DxTc \">Kazuhisa Seto<\/span><span class=\"C9DxTc \">, and Takashi Horiyama:<br \/>\n<\/span>On the Diameters of Reconfiguration Graphs and ZDD-Based BFS-Algorithm for Optimal Reconfiguration Problems of Optimal Ladder Lotteries<br \/>\n<span class=\"C9DxTc \">In Proceedings of the 37th Canadian Conference on Computational Geometry\u00a0 (CCCG 2025), pages <\/span><span class=\"C9DxTc \">140<\/span><span class=\"C9DxTc \">&#8211;<\/span><span class=\"C9DxTc \">146<\/span><span class=\"C9DxTc \">, August 2025 (Toronto, Canada)<br \/>\nProceedings: <a href=\"https:\/\/cccg-wads-2025.eecs.yorku.ca\/cccg-all-papers.pdf\">https:\/\/cccg-wads-2025.eecs.yorku.ca\/cccg-all-papers.pdf<\/a><\/span><\/p>\n<h4><strong>\u3010\u5b66\u4f1a\u767a\u8868\u3011\u3000* \u5370\u304c\u767a\u8868\u8005<\/strong><\/h4>\n<p>\u9752\u5cf6 \u826f\u78e8 *, \u6885\u6797 \u679c\u7433, \u5742\u672c \u90c1\u5f25, \u4f50\u85e4 \u97ff\u6a39, \u810a\u6238 \u548c\u5bff, \u9577\u5c3e \u7be4\u6a39, \u5800\u5c71 \u8cb4\u53f2<br \/>\n\u6700\u5927\u6b21\u65703\u306e\u4e8c\u90e8\u30b0\u30e9\u30d5\u306b\u304a\u3051\u308b\u5b8c\u5168\u30de\u30c3\u30c1\u30f3\u30b0\u306e\u89e3\u4e00\u610f\u5316\u306eNP\u5b8c\u5168\u6027<br \/>\n\u7b2c207\u56de\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u7814\u7a76\u767a\u8868\u4f1a, 2026\u5e743\u6708\uff08\u5ca1\u5c71\u5927\u5b66, \u5ca1\u5c71\uff09<\/p>\n<p><span class=\"speaker\">Fumiya Sakamoto*<\/span>, Ryu Suzuki, Kazuhisa Seto, Takashi Horiyama:<br \/>\nThe Complexity of Computing Pre-assignments for Uniquifying Minimum Vertex Cover on Planar Graphs with Maximum Degree 3<br \/>\nThe 25th Korean-Japan Joint Workshop on Algorithms and Computation, August 2025 (Sapporo, Japan).<\/p>\n<p>\u2ed8\u5cf6 \u826f\u78e8*, \u5742\u672c \u90c1\u5f25, \u810a\u2f3e \u548c\u5bff, \u5800\u2f2d \u8cb4\u53f2:<br \/>\n\u90e8\u5206\u5272\u5f53\u306b\u3088\u308b Exact Length Trail \u306e\u552f\u2f00\u5316\u306b\u304a\u3051\u308b\u8a08\u7b97\u8907\u96d1\u3055<br \/>\n2025\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2025\u5e747\u6708 (\u30a2\u30a4\u30fc\u30ca\u30fb\u3044\u308f\u3066\u770c\u6c11\u60c5\u5831\u4ea4\u6d41\u30bb\u30f3\u30bf\u30fc, \u5ca9\u624b).<\/p>\n<h3><strong>2024\u5e74\u5ea6<\/strong><\/h3>\n<h4><strong>\u3010\u67fb\u8aad\u4ed8\u8ad6\u6587\u8a8c\u3011<\/strong><\/h4>\n<p dir=\"ltr\" role=\"presentation\">Yuki Kawakami, Shun Takahashi, Kazuhisa Seto, Takashi Horiyama, Yuki Kobayashi, Yuya Higashikawa, and Naoki Katoh:<br \/>\nLower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2,2)-Tight Graphs.<br \/>\nIEICE Transactions on Information and Systems, Vol. E107-D, No.6, pages. 732&#8211;740, 2024.<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1587\/transinf.2023EDP7214\">https:\/\/doi.org\/10.1587\/transinf.2023EDP7214<\/a><\/p>\n<h4><strong>\u3010\u67fb\u8aad\u4ed8\u56fd\u969b\u4f1a\u8b70\u8ad6\u6587\u3011<\/strong><\/h4>\n<p dir=\"ltr\" role=\"presentation\">Kazuma Yamane, Yuto Nakashima, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nMaximal \u03b1-gapped Repeats in a Fibonacci String.<br \/>\nIn Proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science\u00a0 (SOFSEM 2025), LNCS 15539, pages 172-183, January 2025 (Bratislava, Slovakia)<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-82697-9_13\">https:\/\/doi.org\/10.1007\/978-3-031-82697-9_13<\/a><\/p>\n<p dir=\"ltr\" role=\"presentation\">Takuya Mieno, Shun Takahashi, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nOnline and Offline Algorithms for Counting Distinct Closed Factors via Sliding Suffix Trees.<br \/>\nIn Proceedings of the 50th International Conference on Current Trends in Theory and Practice of Computer Science\u00a0 (SOFSEM 2025), LNCS 15539, pages 337-350, January 2025 (Bratislava, Slovakia)<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-82697-9_25\">https:\/\/doi.org\/10.1007\/978-3-031-82697-9_25<\/a><\/p>\n<p dir=\"ltr\" role=\"presentation\">Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nShortest Cover After Edit.<br \/>\nIn Proceedings of the 35th Annual Symposium on Combinatorial Pattern Matching (CPM 2024), LIPIcs 296, pages 24:1&#8211;24:15, June 2024 (Fukuoka, Japan).<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.4230\/LIPIcs.CPM.2024.24\">https:\/\/doi.org\/10.4230\/LIPIcs.CPM.2024.24<\/a><\/p>\n<h4><strong>\u3010\u5b66\u4f1a\u767a\u8868\u3011\u3000* \u5370\u304c\u767a\u8868\u8005<\/strong><\/h4>\n<p>\u5742\u672c \u90c1\u5f25*, \u9234\u6728 \u7409, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\n\u6700\u5927\u6b21\u6570 3 \u306e\u5e73\u9762\u7684\u30b0\u30e9\u30d5\u306b\u304a\u3051\u308b\u4e8b\u524d\u5272\u5f53\u306b\u3088\u308b\u6700\u5c0f\u9802\u70b9\u88ab\u8986\u306e\u552f\u4e00\u5316\u306e\u8a08\u7b97\u56f0\u96e3\u6027.<br \/>\n\u7b2c201\u56de\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u7814\u7a76\u767a\u8868\u4f1a, 2025\u5e741\u6708 \uff08\u304f\u307e\u3082\u3068\u770c\u6c11\u4ea4\u6d41\u9928\u30d1\u30ec\u30a2, \u718a\u672c\uff09<\/p>\n<p>Yuto Okura*, Junichi Teruyama, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nExact Algorithm for the Boolean Connectivity of k-Horn Formulas via Deterministic PPZ.<br \/>\n\u7b2c201\u56de\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u7814\u7a76\u767a\u8868\u4f1a, 2025\u5e741\u6708 \uff08\u304f\u307e\u3082\u3068\u770c\u6c11\u4ea4\u6d41\u9928\u30d1\u30ec\u30a2, \u718a\u672c\uff09<\/p>\n<p>Shoon Mineyoshi*, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nOn the Diameters of Reconfiguration Graphs and ZDD-Based BFS-Algorithm for Optimal Reconfiguration Problems of Optimal Ladder Lotteries.<br \/>\nThe 6th Workshop on Enumeration Problems and Applications, October 2024 (Nikko, Japan)<\/p>\n<p>Masashi Gorobe*, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nOn the Enumeration of Common Developments of Orthogonal Boxes by Utilizing Cycles on the Surfaces.<br \/>\nThe 6th Workshop on Enumeration Problems and Applications, October 2024 (Nikko, Japan)<\/p>\n<p>Yuto Okura*, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nA Moderately Exponential Time Algorithm for the Boolean Connectivity of k-Horn Formulas.<br \/>\nThe 24th Korean-Japan Joint Workshop on Algorithms and Computation, August 2024 (Seoul, Korea).<\/p>\n<p>Kazuma Yamane* Yuto Nakashima, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nThe Number of Maximal \u03b1-gapped Repeats in Fibonacci Strings.<br \/>\nThe 24th Korean-Japan Joint Workshop on Algorithms and Computation, August 2024 (Seoul, Korea).<\/p>\n<p>Yuto Okura*, Junichi Teruyama, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nModerately Exponential Time Algorithm for the Boolean Connectivity Problem for k-Horn Formulas.<br \/>\n2024\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2024\u5e747\u6708 (\u9ce5\u7fbd\u5546\u5de5\u4f1a\u8b70\u6240, \u4e09\u91cd).<\/p>\n<p>Ryu Suzuki*, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nExact Algorithm for Computing Pre-assignments to Uniquify Minimum Vertex Covers on Bipartite Graphs.<br \/>\n2024\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2024\u5e747\u6708 (\u9ce5\u7fbd\u5546\u5de5\u4f1a\u8b70\u6240, \u4e09\u91cd).<\/p>\n<p>\u4e94\u90ce\u90e8 \u8aa0\u58eb*, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\n\u591a\u9762\u4f53\u4e0a\u306e\u30b5\u30a4\u30af\u30eb\u3092\u5229\u7528\u3057\u305f\u683c\u5b50\u76f4\u65b9\u4f53\u306b\u304a\u3051\u308b\u5171\u901a\u5c55\u958b\u56f3\u306e\u5217\u6319.<br \/>\n2024\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2024\u5e747\u6708 (\u9ce5\u7fbd\u5546\u5de5\u4f1a\u8b70\u6240, \u4e09\u91cd).<\/p>\n<p>\u5cef\u5409 \u7fd4\u97f3*, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\n\u6700\u9069\u3042\u307f\u3060\u304f\u3058\u306e\u6700\u9069\u9077\u79fb\u554f\u984c\u306b\u5bfe\u3059\u308b\u9077\u79fb\u30b0\u30e9\u30d5\u306e\u76f4\u5f84\u3068\u5e45\u512a\u5148\u63a2\u7d22\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0.<br \/>\n2024\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2024\u5e747\u6708 (\u9ce5\u7fbd\u5546\u5de5\u4f1a\u8b70\u6240, \u4e09\u91cd).<\/p>\n<h3><strong>2023\u5e74\u5ea6<\/strong><\/h3>\n<h4><strong>\u3010\u67fb\u8aad\u4ed8\u8ad6\u6587\u8a8c\u3011<\/strong><\/h4>\n<p dir=\"ltr\" role=\"presentation\">Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nFinding Top-k Longest Palindromes in Substrings.<br \/>\nTheoretical Computer Science, Vol. 979, No. 114183, 2023.<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1016\/j.tcs.2023.114183\">https:\/\/doi.org\/10.1016\/j.tcs.2023.114183<\/a><\/p>\n<p><strong>\u3010\u67fb\u8aad\u4ed8\u56fd\u969b\u4f1a\u8b70\u8ad6\u6587\u3011<\/strong><\/p>\n<p dir=\"ltr\" role=\"presentation\">Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, and Ryu Suzuki:<br \/>\nTheoretical Aspects of Generating Instances with Unique Solutions: Pre-assignment Models for Unique Vertex Cover.<br \/>\nIn Proceedings of the 38th Annual AAAI Conference on Artificial Intelligence\u00a0 (AAAI 2024), Vol. 38(18), pages 20726-20734, February 2024 (Vancouver, Canada).<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1609\/aaai.v38i18.30060\">https:\/\/doi.org\/10.1609\/aaai.v38i18.30060<\/a><\/p>\n<p>Yuki Kawakami, Shun Takahashi, Kazuhisa Seto, Takashi Horiyama, Yuki Kobayashi, Yuya Higashikawa, and Naoki Katoh:<br \/>\nLower Bounds for the Thickness and the Total Number of Edge Crossings of Euclidean Minimum Weight Laman Graphs and (2, 2)-Tight Graphs.<br \/>\nIn Proceedings of the 35th Canadian Conference on Computational Geometry (CCCG 2023), pages 191&#8211;196, August 2023 (Montreal, Canada).<br \/>\nProceedings: <a href=\"https:\/\/cccg.ca\/proceedings\/2023\/CCCG2023.pdf\">https:\/\/cccg.ca\/proceedings\/2023\/CCCG2023.pdf<\/a><\/p>\n<h4><strong>\u3010\u5b66\u4f1a\u767a\u8868\u3011\u3000* \u5370\u304c\u767a\u8868\u8005<\/strong><\/h4>\n<p>Takashi Horiyama, Yasuaki Kobayashi, Hirotaka Ono, Kazuhisa Seto, and Ryu Suzuki*:<br \/>\nHardness of Uniquifying Minimum Vertex Covers and Minimum Dominating Sets under Pre-assignments.<br \/>\n2024\u5e74\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a\u7dcf\u5408\u5927\u4f1a, 2024\u5e743\u6708 (\u5e83\u5cf6\u5927\u5b66, \u5e83\u5cf6).<\/p>\n<p>\u4e09\u8c37 \u548c\u6689*, \u4e09\u91cd\u91ce \u7422\u4e5f, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\n1 \u30d6\u30ed\u30c3\u30af\u7de8\u96c6\u6642\u306e\u6700\u9577\u30dc\u30fc\u30c0\u30fc\u30af\u30a8\u30ea\u3068\u6700\u5c0f\u30ab\u30d0\u30fc\u30af\u30a8\u30ea.<br \/>\n2023\u5e74\u5ea6 \u51ac\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2024\u5e742\u6708 (\u4eac\u90fd\u5927\u5b66, \u4eac\u90fd).<\/p>\n<p>\u5c71\u6839 \u548c\u771f*, \u4e2d\u5cf6 \u7950\u4eba, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\n\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6587\u5b57\u5217\u4e2d\u306e\u6975\u5927\u03b1\u30ae\u30e3\u30c3\u30d7\u4ed8\u304d\u53cd\u5fa9\u306e\u500b\u6570\u306e\u4e0a\u754c.<br \/>\n2023\u5e74\u5ea6 \u51ac\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2024\u5e742\u6708 (\u4eac\u90fd\u5927\u5b66, \u4eac\u90fd).<\/p>\n<p>\u9234\u6728 \u7409* ,\u00a0 \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\nHardness of Computing a Pre-assignment to Uniquify Minimum Dominating Sets on Bipartite Graphs.<br \/>\n\u7b2c195\u56de\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u7814\u7a76\u767a\u8868\u4f1a, 2023\u5e7411\u6708, (\u90a3\u8987IT\u5275\u9020\u9928, \u90a3\u8987).<\/p>\n<p>\u6cb3\u4e0a \u60a0\u8f1d*,\u00a0 \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u5c0f\u6797 \u7950\u8cb4, \u6771\u5ddd \u96c4\u54c9, \u52a0\u85e4 \u76f4\u6a39:<br \/>\n\u5e73\u9762\u4e0a\u306e\u6700\u5c0f\u91cd\u307f\u7121\u4ea4\u5dee Laman \u30b0\u30e9\u30d5\u3068\u95a2\u9023\u3059\u308b\u5e7e\u4f55\u7684\u30b0\u30e9\u30d5\u306b\u3064\u3044\u3066.<br \/>\n2023\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2023\u5e747\u6708 (\u30b5\u30f3\u30fb\u30ea\u30d5\u30ec\u51fd\u9928, \u5317\u6d77\u9053)<\/p>\n<p>Ryu Suzuki* , Yasuaki Kobayashi, Kazuhisa Seto, Takashi Horiyama:<br \/>\nNP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs.<br \/>\n2023\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2023\u5e747\u6708 (\u30b5\u30f3\u30fb\u30ea\u30d5\u30ec\u51fd\u9928, \u5317\u6d77\u9053).<\/p>\n<p>\u5c71\u6839 \u548c\u771f*, \u4e2d\u5cf6 \u7950\u4eba, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2:<br \/>\n\u30d5\u30a3\u30dc\u30ca\u30c3\u30c1\u6587\u5b57\u5217\u4e2d\u306e\u6975\u5927\u30ae\u30e3\u30c3\u30d7\u4ed8\u304d\u53cd\u5fa9\u306e\u500b\u6570.<br \/>\n2023\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2023\u5e747\u6708 (\u30b5\u30f3\u30fb\u30ea\u30d5\u30ec\u51fd\u9928, \u5317\u6d77\u9053).<\/p>\n<p>Ryu Suzuki*, Yasuaki Kobayashi, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nNP-completeness of Computing Pre-assignments to Uniquify Vertex Cover for Bipartite Graphs.<br \/>\nIn Proceedings of the 23rd Korean-Japan Joint Workshop on Algorithms and Computation (WAAC 2023), June 2023 (Aichi, Japan).<\/p>\n<h3><strong>2022\u5e74\u5ea6<\/strong><\/h3>\n<p><strong>\u3010\u67fb\u8aad\u4ed8\u56fd\u969b\u4f1a\u8b70\u8ad6\u6587\u3011<\/strong><\/p>\n<p>Kazuki Mitani, Takuya Mieno, Kazuhisa Seto, and Takashi Horiyama:<br \/>\nInternal Longest Palindrome Queries in Optimal Time.<br \/>\nIn Proceedings of the 17th International Workshop on Algorithms and Computation (WALCOM 2023), LNCS 13973, pages 127-138, March 2023 (Hsinchu, Taiwan).<br \/>\nDOI: <a href=\"https:\/\/doi.org\/10.1007\/978-3-031-27051-2_12\">https:\/\/doi.org\/10.1007\/978-3-031-27051-2_12<\/a><\/p>\n<h4><strong>\u3010\u5b66\u4f1a\u767a\u8868\u3011\u3000* \u5370\u304c\u767a\u8868\u8005<\/strong><\/h4>\n<p>\u5ca9\u5d0e \u5584\u6cf0*, \u5800\u5c71 \u8cb4\u53f2, \u677e\u4e95 \u6cf0\u5b50, \u91ce\u5d0e \u96c4\u592a, \u810a\u6238 \u548c\u5bff, \u5c71\u4e2d \u514b\u4e45:<br \/>\nZDD \u3092\u7528\u3044\u305f\u6700\u9069\u5186\u7b52\u3042\u307f\u3060\u304f\u3058\u306e\u5217\u6319.<br \/>\n\u7b2c192\u56de\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u7814\u7a76\u767a\u8868\u4f1a, 2023\u5e743\u6708, (\u6771\u5317\u5927\u5b66, \u5bae\u57ce).<\/p>\n<p>\u9ad8\u6a4b \u5b54\u5e73*, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u4e09\u91cd\u91ce \u7422\u4e5f:<br \/>\n\u81ea\u5df1\u540c\u578b\u5199\u50cf\u306e\u65ad\u7247\u3092\u7528\u3044\u305f\u4ee3\u8868\u5143\u306e\u53cd\u5fa9\u62bd\u51fa\u306b\u3088\u308b\u540c\u578b\u6027\u306e\u9664\u53bb.<br \/>\n\u96fb\u5b50\u60c5\u5831\u901a\u4fe1\u5b66\u4f1a \u30b3\u30f3\u30d4\u30e5\u30c6\u30fc\u30b7\u30e7\u30f3\u7814\u7a76\u4f1a, 2022\u5e7412\u6708, (\u611b\u5a9b\u5927\u5b66, \u611b\u5a9b).<\/p>\n<p>Yudai Enomoto*, Yuki Kawakami, Kazuhisa Seto, Takashi Horiyama, and Jun Mitani:<br \/>\nCounting and ZDD-based Enumeration of Locally Flat-Foldable Box-Pleated Crease Patterns on the 45-Degree Grid System.<br \/>\nFifth Workshop on Enumeration Problems and Applications, November 2022, (Clermont-Ferrand, France).<\/p>\n<p>\u6cb3\u4e0a \u60a0\u8f1d*, \u9ad8\u6a4b \u99ff, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u5c0f\u6797 \u7950\u8cb4, \u6771\u5ddd \u96c4\u54c9, \u52a0\u85e4 \u76f4\u6a39:<br \/>\n\u6700\u5c0f\u91cd\u307f Laman \u30b0\u30e9\u30d5\u306e\u7dcf\u4ea4\u70b9\u6570\u3068\u539a\u307f\u306e\u4e0b\u754c\u306e\u6539\u826f.<br \/>\n\u7b2c35\u56de\u56de\u8def\u3068\u30b7\u30b9\u30c6\u30e0\u30ef\u30fc\u30af\u30b7\u30e7\u30c3\u30d7, 2022\u5e748\u6708, (\u5317\u4e5d\u5dde\u56fd\u969b\u4f1a\u8b70\u5834, \u798f\u5ca1).<br \/>\n<strong>\u5968\u52b1\u8cde\u53d7\u8cde<\/strong><\/p>\n<p>\u6cb3\u4e0a \u60a0\u8f1d*, \u9ad8\u6a4b \u99ff, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u5c0f\u6797 \u7950\u8cb4, \u6771\u5ddd \u96c4\u54c9, \u52a0\u85e4 \u76f4\u6a39:<br \/>\n\u6700\u5c0f\u91cd\u307f Laman \u30b0\u30e9\u30d5\u306e\u7dcf\u4ea4\u70b9\u6570\u3068\u539a\u307f\u306e\u4e0b\u754c\u306e\u6539\u826f.<br \/>\n2022\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2022\u5e747\u6708, (\u306b\u304e\u308f\u3044\u4ea4\u6d41\u9928 AU, \u79cb\u7530).<\/p>\n<p>\u4e09\u8c37 \u548c\u6689*, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u4e09\u91cd\u91ce \u7422\u4e5f:<br \/>\n\u533a\u9593\u6700\u9577\u56de\u6587\u30af\u30a8\u30ea\u306b\u5bfe\u3059\u308b\u6642\u9593\u6700\u9069\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0.<br \/>\n2022\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2022\u5e747\u6708, (\u306b\u304e\u308f\u3044\u4ea4\u6d41\u9928 AU, \u79cb\u7530).<\/p>\n<p>\u9ad8\u6a4b \u99ff*, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u4e09\u91cd\u91ce \u7422\u4e5f:<br \/>\n\u6587\u5b57\u5217\u4e2d\u306e\u7570\u306a\u308b\u9589\u6587\u5b57\u5217\u306e\u6570\u3048\u4e0a\u3052\u3068\u6700\u5927\u500b\u6570\u306b\u3064\u3044\u3066.<br \/>\n2022\u5e74\u5ea6 \u590f\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2022\u5e747\u6708, (\u306b\u304e\u308f\u3044\u4ea4\u6d41\u9928 AU, \u79cb\u7530).<\/p>\n<p>\u698e\u672c \u512a\u5927*, \u6cb3\u4e0a \u60a0\u8f1d, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u4e09\u8c37 \u7d14:<br \/>\n45 \u5ea6\u7cfb\u683c\u5b50\u30d1\u30bf\u30fc\u30f3\u306b\u304a\u3051\u308b\u5c40\u6240\u5e73\u5766\u6298\u308a\u53ef\u80fd\u306a\u5c55\u958b\u56f3\u306e\u6570\u3048\u4e0a\u3052\u3068 ZDD \u306b\u3088\u308b\u5217\u6319.<br \/>\n2021\u5e74\u5ea6 \u51ac\u306eLA\u30b7\u30f3\u30dd\u30b8\u30a6\u30e0, 2022\u5e742\u6708, (\u4eac\u90fd\u5927\u5b66, \u4eac\u90fd).<\/p>\n<h3><strong>2021\u5e74\u5ea6<\/strong><\/h3>\n<h4><strong>\u3010\u5b66\u4f1a\u767a\u8868\u3011\u3000* \u5370\u304c\u767a\u8868\u8005<\/strong><\/h4>\n<p>\u698e\u672c \u512a\u5927*, \u810a\u6238 \u548c\u5bff, \u5800\u5c71 \u8cb4\u53f2, \u4e09\u8c37 \u7d14:<br \/>\nZDD \u306b\u3088\u308b 45 \u5ea6\u7cfb\u683c\u5b50\u30d1\u30bf\u30fc\u30f3\u306b\u304a\u3051\u308b\u5c40\u6240\u5e73\u5766\u6298\u308a\u53ef\u80fd\u306a\u5c55\u958b\u56f3\u306e\u5217\u6319.<br \/>\n\u7b2c30\u56de\u6298\u308a\u7d19\u306e\u79d1\u5b66\u30fb\u6570\u5b66\u30fb\u6559\u80b2\u7814\u7a76\u96c6\u4f1a, 2021\u5e746\u6708 (\u30aa\u30f3\u30e9\u30a4\u30f3).<\/p>","protected":false},"excerpt":{"rendered":"<p>\u7814\u7a76\u6210\u679c \u7814\u7a76\u5ba4\u306e\u5b66\u751f\u304c\u542b\u307e\u308c\u308b\u7814\u7a76\u6210\u679c\u306e\u307f\u3092\u8f09\u305b\u3066\u3044\u307e\u3059\u3002 2025\u5e74\u5ea6 \u3010\u67fb&hellip; <\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/pages\/38"}],"collection":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=38"}],"version-history":[{"count":28,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/pages\/38\/revisions"}],"predecessor-version":[{"id":1669,"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=\/wp\/v2\/pages\/38\/revisions\/1669"}],"wp:attachment":[{"href":"https:\/\/art.ist.hokudai.ac.jp\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=38"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}