Submission #47294810

Source Code Expand

#include <bits/stdc++.h>
using namespace std;

#include <atcoder/twosat>
using namespace atcoder;

int main(){
  int n,m;cin>>n>>m;
  vector<int> a(m),b(m);
  for(int i=0;i<m;i++){
    cin>>a[i];
    a[i]--;
  }
  for(int i=0;i<m;i++){
    cin>>b[i];
    b[i]--;
  }

  two_sat ts(n);
  for(int i=0;i<m;i++){
    ts.add_clause(a[i],true,b[i],true);
    ts.add_clause(a[i],false,b[i],false);
  }

  if(ts.satisfiable()){
    cout<<"Yes"<<endl;
  }
  else{
    cout<<"No"<<endl;
  }
}

Submission Info

Submission Time
Task D - Good Tuple Problem
User Mitsubachi
Language C++ 20 (gcc 12.2)
Score 400
Code Size 512 Byte
Status AC
Exec Time 145 ms
Memory 54100 KiB

Judge Result

Set Name Sample All
Score / Max Score 0 / 0 400 / 400
Status
AC × 4
AC × 27
Set Name Test Cases
Sample 00_sample_00.txt, 00_sample_01.txt, 00_sample_02.txt, 00_sample_03.txt
All 00_sample_00.txt, 00_sample_01.txt, 00_sample_02.txt, 00_sample_03.txt, 01_random_1_00.txt, 01_random_1_01.txt, 01_random_1_02.txt, 01_random_1_03.txt, 01_random_1_04.txt, 02_random_2_00.txt, 02_random_2_01.txt, 02_random_2_02.txt, 02_random_2_03.txt, 02_random_2_04.txt, 02_random_2_05.txt, 02_random_2_06.txt, 02_random_2_07.txt, 02_random_2_08.txt, 02_random_2_09.txt, 03_tree_00.txt, 04_path_00.txt, 05_corner_00.txt, 05_corner_01.txt, 05_corner_02.txt, 05_corner_03.txt, 05_corner_04.txt, 05_corner_05.txt
Case Name Status Exec Time Memory
00_sample_00.txt AC 1 ms 3604 KiB
00_sample_01.txt AC 1 ms 3512 KiB
00_sample_02.txt AC 1 ms 3420 KiB
00_sample_03.txt AC 1 ms 3464 KiB
01_random_1_00.txt AC 13 ms 6188 KiB
01_random_1_01.txt AC 11 ms 8460 KiB
01_random_1_02.txt AC 14 ms 7496 KiB
01_random_1_03.txt AC 19 ms 10912 KiB
01_random_1_04.txt AC 48 ms 18352 KiB
02_random_2_00.txt AC 29 ms 9472 KiB
02_random_2_01.txt AC 41 ms 12828 KiB
02_random_2_02.txt AC 28 ms 8844 KiB
02_random_2_03.txt AC 35 ms 9496 KiB
02_random_2_04.txt AC 33 ms 8872 KiB
02_random_2_05.txt AC 29 ms 10104 KiB
02_random_2_06.txt AC 38 ms 12820 KiB
02_random_2_07.txt AC 53 ms 13748 KiB
02_random_2_08.txt AC 36 ms 12836 KiB
02_random_2_09.txt AC 52 ms 13704 KiB
03_tree_00.txt AC 104 ms 22820 KiB
04_path_00.txt AC 104 ms 54100 KiB
05_corner_00.txt AC 1 ms 3456 KiB
05_corner_01.txt AC 46 ms 14056 KiB
05_corner_02.txt AC 45 ms 14096 KiB
05_corner_03.txt AC 45 ms 14032 KiB
05_corner_04.txt AC 103 ms 53876 KiB
05_corner_05.txt AC 145 ms 48624 KiB