結果

問題 No.1376 Simple LPS Problem
ユーザー Yukino DX.Yukino DX.
提出日時 2024-02-06 22:00:11
言語 Rust
(1.83.0 + proconio)
結果
AC  
実行時間 6 ms / 2,000 ms
コード長 2,736 bytes
コンパイル時間 14,292 ms
コンパイル使用メモリ 385,684 KB
実行使用メモリ 6,948 KB
最終ジャッジ日時 2024-09-28 12:15:17
合計ジャッジ時間 16,945 ms
ジャッジサーバーID
(参考情報)
judge3 / judge4
このコードへのチャレンジ
(要ログイン)
ファイルパターン 結果
sample AC * 2
other AC * 60
権限があれば一括ダウンロードができます

ソースコード

diff #

#![allow(non_snake_case)]
#![allow(unused_imports)]
//use itertools::Itertools;
//use proconio::input;
//use proconio::marker::*;
use std::cmp::Reverse;
use std::collections::*;

fn main() {
    input! {
        n:usize,
        k:usize,
    }

    if n < 9 {
        let ans = solve(n, k);
        if let Some(ans) = ans {
            for i in (0..n).rev() {
                print!("{}", (ans >> i) & 1);
            }
            println!()
        } else {
            println!("-1");
        }
    } else if k < 4 {
        println!("-1");
    } else {
        let mut ans = vec![];
        for _ in 0..k {
            ans.push(1);
        }

        let s = [0, 1, 0, 0, 1, 1];
        for i in 0..n - k {
            ans.push(s[i % 6]);
        }

        for i in 0..n {
            print!("{}", ans[i]);
        }
        println!();
    }
}

fn solve(n: usize, k: usize) -> Option<usize> {
    for s in 0..1 << n {
        let mut max = 0;
        for i in 0..n {
            for j in i + 1..=n {
                if (i..j)
                    .zip((i..j).rev())
                    .all(|(k, l)| (s & (1 << k) != 0) == (s & (1 << l) != 0))
                {
                    max = max.max(j - i);
                }
            }
        }
        if max == k {
            return Some(s);
        }
    }
    None
}
mod input {
    #[macro_export]
    macro_rules! input {
        (source = $s:expr, $($r:tt)*) => {
            let mut iter = $s.split_whitespace();
            input_inner!{iter, $($r)*}
        };
        ($($r:tt)*) => {
            let s = {
                use std::io::Read;
                let mut s = String::new();
                std::io::stdin().read_to_string(&mut s).unwrap();
                s
            };
            let mut iter = s.split_whitespace();
            input_inner!{iter, $($r)*}
        };
    }

    #[macro_export]
    macro_rules! input_inner {
        ($iter:expr) => {};
        ($iter:expr, ) => {};

        ($iter:expr, $var:ident : $t:tt $($r:tt)*) => {
            let $var = read_value!($iter, $t);
            input_inner!{$iter $($r)*}
        };
    }

    #[macro_export]
    macro_rules! read_value {
        ($iter:expr, ( $($t:tt),* )) => {
            ( $(read_value!($iter, $t)),* )
        };

        ($iter:expr, [ $t:tt ; $len:expr ]) => {
            (0..$len).map(|_| read_value!($iter, $t)).collect::<Vec<_>>()
        };

        ($iter:expr, chars) => {
            read_value!($iter, String).chars().collect::<Vec<char>>()
        };

        ($iter:expr, usize1) => {
            read_value!($iter, usize) - 1
        };

        ($iter:expr, $t:ty) => {
            $iter.next().unwrap().parse::<$t>().expect("Parse error")
        };
    }
}
0