結果
| 問題 | No.2555 Intriguing Triangle | 
| コンテスト | |
| ユーザー |  umezo | 
| 提出日時 | 2023-12-01 01:30:38 | 
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) | 
| 結果 | 
                                AC
                                 
                             | 
| 実行時間 | 16 ms / 2,000 ms | 
| コード長 | 925 bytes | 
| コンパイル時間 | 6,761 ms | 
| コンパイル使用メモリ | 461,280 KB | 
| 最終ジャッジ日時 | 2025-02-18 02:49:30 | 
| ジャッジサーバーID (参考情報) | judge5 / judge1 | 
(要ログイン)
| ファイルパターン | 結果 | 
|---|---|
| sample | AC * 2 | 
| other | AC * 28 | 
ソースコード
#define rep(i,n) for(int i=0;i<(int)(n);i++)
#define ALL(v) v.begin(),v.end()
typedef long long ll;
#include <boost/multiprecision/cpp_dec_float.hpp>
#include <boost/multiprecision/cpp_int.hpp>
namespace mp = boost::multiprecision;
using Bint = mp::cpp_int;
 
#include<bits/stdc++.h>
using namespace std;
 
int main(){
  ios::sync_with_stdio(false);
  std::cin.tie(nullptr);
  
  Bint a,b,c;
  cin>>a>>b>>c;
  for(Bint x=1;x<b+c-a-1;x++){
    for(Bint y=1;y<b+c-a-1;y++){
      Bint t=x+y+a;
      if(t>=b+c) continue;
      if(b>=t+c) continue;
      if(c>=t+b) continue;
      Bint ee,ff;
      ee=((a+y)*(a+y)+c*c)*t-(a+y)*(c*c+t*t-b*b);
      ff=((a+x)*(a+x)+b*b)*t-(a+x)*(b*b+t*t-c*c);
      if(c*c*ff*(b*b*t+ee-x*x*t)*(b*b*t+ee-x*x*t)==b*b*ee*(c*c*t+ff-y*y*t)*(c*c*t+ff-y*y*t)
        && b*b+ee-x*x>0 && c*c+ff-y*y>0){
          cout<<"Yes\n";
          return 0;
        }
    }
  }
  cout<<"No\n";
    
  return 0;
}
            
            
            
        