結果
| 問題 | 
                            No.2555 Intriguing Triangle
                             | 
                    
| コンテスト | |
| ユーザー | 
                             hiromi_ayase
                         | 
                    
| 提出日時 | 2023-12-07 05:04:48 | 
| 言語 | C++23  (gcc 13.3.0 + boost 1.87.0)  | 
                    
| 結果 | 
                             
                                WA
                                 
                             
                            
                         | 
                    
| 実行時間 | - | 
| コード長 | 1,072 bytes | 
| コンパイル時間 | 4,574 ms | 
| コンパイル使用メモリ | 307,744 KB | 
| 実行使用メモリ | 6,944 KB | 
| 最終ジャッジ日時 | 2024-09-27 01:57:57 | 
| 合計ジャッジ時間 | 5,426 ms | 
| 
                            ジャッジサーバーID (参考情報)  | 
                        judge3 / judge2 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 22 WA * 6 | 
ソースコード
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using i32 = int;
using u32 = unsigned int;
using i64 = long long;
using u64 = unsigned long long;
#define FAST_IO                \
  ios::sync_with_stdio(false); \
  cin.tie(0);
const i64 INF = 1001001001001001001;
using Modint = atcoder::static_modint<998244353>;
int main() {
  FAST_IO
  auto ans = 0LL;
  int a,b,c;
  cin >> a >> b >> c;
  auto EPS = 1e-6;
  for (auto p = 1; p + a < b + c; p ++) {
    for (auto q = 1; p + q + a < b + c; q ++) {
      // triangle (b, c, p + q + a)
      auto d = p + q + a;
      auto cosB = (b * b + d * d - c * c) / (2.0 * b * d);
      auto cosC = (c * c + d * d - b * b) / (2.0 * c * d);
      auto ad = sqrt(b * b + p * p - 2 * b * p * cosB);
      auto ae = sqrt(c * c + q * q - 2 * c * q * cosC);
      auto cos1 = (ad * ad + b * b - p * p) / (2.0 * ad * b);
      auto cos2 = (ae * ae + c * c - q * q) / (2.0 * ae * c);
      if (abs(cos1 - cos2) < EPS) {
        cout << "Yes" << endl;
        return 0;
      }
    }
  }
  cout << "No" << endl;
}
            
            
            
        
            
hiromi_ayase