trang chủ / bài tập / antichain

Phản xích

Đề bài

Mô tả

Cho một đồ thị có hướng không chu trình G gồm n đỉnh, đánh số từ 0 đến n1. Đồ thị có đúng n cạnh, đánh số từ 0 đến n1. Cạnh số i nối hai đỉnh i(i+1)modn, và có thể có hướng theo một trong hai chiều.

Chiều của các cạnh được cho bởi một xâu nhị phân s0s1sn1:

  • Nếu si=0 thì cạnh số i hướng từ đỉnh i đến đỉnh (i+1)modn.
  • Nếu si=1 thì cạnh số i hướng từ đỉnh (i+1)modn đến đỉnh i.

Như vậy các đỉnh nằm trên một vòng tròn và mỗi cạnh nối hai đỉnh kề nhau trên vòng tròn đó.

Hai đỉnh uv được gọi là so sánh được nếu trong đồ thị tồn tại một đường đi có hướng từ u đến v hoặc từ v đến u. Một phản xích (antichain) là một tập các đỉnh mà bất kỳ hai đỉnh phân biệt nào trong tập đều không so sánh được với nhau. Kích thước của một phản xích là số đỉnh trong tập đó.

Hãy tìm kích thước của phản xích lớn nhất trong đồ thị G.

Dữ liệu đảm bảo đồ thị đã cho là không có chu trình.

Dữ liệu vào

Một dòng duy nhất chứa xâu s0s1sn1 gồm các ký tự '0' và '1'. Độ dài của xâu chính là số đỉnh (và số cạnh) n của đồ thị.

Dữ liệu ra

In ra một số nguyên duy nhất, là kích thước của phản xích lớn nhất trong đồ thị G.

Ràng buộc

  • 2n106.
  • Đồ thị được đảm bảo không có chu trình.

Ví dụ

Input Output Giải thích
110010 3 Có thể chọn một tập gồm 3 đỉnh đôi một không so sánh được. Không thể chọn được phản xích kích thước lớn hơn.
001 1 Các cạnh là 01, 1202. Mọi cặp đỉnh đều so sánh được, nên phản xích lớn nhất chỉ gồm 1 đỉnh.

Bình luận

Không có bình luận tại thời điểm này.

gnatmake 12.2.0 a68g 3.1.2 nasm 2.16.1 as_x64 2.46 awk 1.3.4 gcc 16.1.0 csc 6.12.0.200 g++ 16.1.0 g++-themis 16.1.0 g++17 16.1.0 g++20 16.1.0 g++23 16.1.0 clang++ 22.1.6 dmd 2.112.0 dart 3.12.1 gforth 0.7.3 gfortran 12.2.0 go 1.26.3 groovyc 5.0.6 javac 25.0.3 node 26.2.0 kotlinc 2.3.21 sbcl 2.2.9 lua 5.4.8 nim 2.2.10 fpc 3.2.2 fpc-themis 3.2.2 perl 5.36.0 php 8.5.6 pike 8.0 pypy3 7.3.23 python3 3.14.5 racket 8.7 ruby 4.0.5 rustc 1.96.0 csc 5.3.0 ctoj-scratch 0.0.1 sed 4.9 tclsh 8.6 bun 1.3.14 deno 2.8.1 v 0.5.1 zig 0.16.0